The seventeen provers of the world. Foreword by Dana S. Scott..
type: Item
instance of: scholarly article
title: The seventeen provers of the world. Foreword by Dana S. Scott..
zbMATH Open document ID: 1084.68119
DOI: 10.1007/11542384
published in: Lecture Notes in Computer Science
publication date: 2006-04-05T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68-02
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 5017353
zbMATH Keywords: automated theorem proving
describes a project that uses: ACL2
describes a project that uses: Theorema
describes a project that uses: Isabelle/Isar
describes a project that uses: Mizar
describes a project that uses: Nuprl
describes a project that uses: LEGO
describes a project that uses: Agda
describes a project that uses: PhoX
describes a project that uses: OTTER
describes a project that uses: PVS
describes a project that uses: Minlog
describes a project that uses: Coq
describes a project that uses: Isar
describes a project that uses: Metamath
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/11542384
OpenAlex ID: W3023731641
description: scientific article; zbMATH DE number 5017353