The seventeen provers of the world
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34771/TOC |
|---|---|
| Ostali autori: | Wiedijk, Freek, 1961- (-) |
| Vrsta građe: | Knjiga |
| Jezik: | eng |
| Impresum: |
Berlin ; New York :
Springer,
c2006.
|
| Nakladnička cjelina: |
Lecture notes in computer science, Lecture notes in artificial intelligence
3600. |
| Predmet: | |
| Online pristup: |
Publisher description |
Sadržaj:
- Introduction Freek Wiedijk.
- Informal Henk Barendregt.
- HOL John Harrison, Konrad Slind, Rob Arthan.
- Mizar Andrzej Trybulec.
- PVS Bart Jacobs, John Rushby.
- Coq Laurent Thery, Pierre Letouzey, Georges Gonthier.
- Otter/Ivy Michael Beeson, William McCune.
- Isabelle/Isar Markus Wenzel, Larry Paulson.
- Alfa/Agda Thierry Conquad.
- ACL2 Ruben Gamboa.
- PhoX Christophe Raffalli, Paul Roziere.
- IMPS William Farmer.
- Metamath Norman Megill
- Theorema Wolfgang Windsteiger, Bruno Buchberger, Markus Rozenkranz.
- Lego Conor McBride.
- Nuprl Paul Jackson.
- Omega Christoph Benzmueller, Armin Fiedler, Andreas Meier, Martin Pollet, Jorg Siekmann.
- B Method Dominique Cansell.
- Minlog Helmut Schwichtenberg.
- Author Index.