| Description |
1 online resource (xvi, 157 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 3600. Lecture notes in artificial intelligence. AI-systems |
|
Lecture notes in computer science ; 3600.
|
|
Lecture notes in computer science. Lecture notes in artificial intelligence
|
|
Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems.
|
| Contents |
Informal / Henk Barendregt -- HOL / John Harrison, Konrad Slind, Rob Arthan -- Mizar / Andrzej Trybulec -- PVS / Bart Jacobs, John Rushby -- Coq / Laurent Théry, Pierre Letouzey, Georges Gonthier -- Otter/Ivy / Michael Beeson, William McCune -- Isabelle/Isar / Markus Wenzel, Larry Paulson -- Alfa/Agda / Thierry Coquand -- ACL2 / Ruben Gamboa -- PhoX / Christophe Raffalli, Paul Rozière -- IMPS / William Farmer -- Metamath / Norman Megill -- Theorema / Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz -- Lego / Conor McBride -- Nupri / Paul Jackson -- Omega / Christoph Benzmüller [and others] -- B method / Dominique Cansell -- Minlog / Helmut Schwichtenberg |
| Summary |
"The 17 systems included in this volume are among the most relevant ones for the formalization of mathematics. The systems are showcased by presentation of the formalized proof and a description in the form of answers to a standard questionnaire."--Jacket |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| In |
OhioLINK electronic book center |
|
SpringerLink |
| Subject |
Proof theory -- Data processing.
|
|
Algebra -- Computer programs.
|
|
MATHEMATICS -- Infinity.
|
|
MATHEMATICS -- Logic.
|
|
Preuve, Théorie de la -- Informatique.
|
|
Algèbre -- Logiciels.
|
|
Wiskundige logica.
|
|
Proof theory -- Data processing.
|
|
Algebra -- Computer programs.
|
|
Informatique.
|
|
Algebra -- Computer programs.
|
|
Proof theory -- Data processing.
|
|
Automatisches Beweisverfahren
|
|
Irrationale Zahl
|
|
Wurzel Mathematik
|
|
Wiskundige logica.
|
|
Zwei.
|
| Genre/Form |
Verzeichnis.
|
| Form |
Electronic book
|
| Author |
Wiedijk, Freek, 1961-
|
| ISBN |
9783540328889 |
|
3540328882 |
|
3540307044 |
|
9783540307044 |
|
