Catálogo de publicaciones - libros
The Seventeen Provers of the World: Foreword by Dana S. Scott
Freek Wiedijk (eds.)
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Artificial Intelligence (incl. Robotics); Software Engineering; Mathematical Logic and Formal Languages
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2006 | SpringerLink |
Información
Tipo de recurso:
libros
ISBN impreso
978-3-540-30704-4
ISBN electrónico
978-3-540-32888-9
Editor responsable
Springer Nature
País de edición
Reino Unido
Fecha de publicación
2006
Información sobre derechos de publicación
© Springer-Verlag Berlin Heidelberg 2006
Tabla de contenidos
doi: 10.1007/11542384_11
PhoX
Christophe Raffalli; Paul Rozière
Statement / m,n : N (m^ N2 = N2 * n^ N2 -> m = N0 & n = N0)
Pp. 67-71
doi: 10.1007/11542384_14
Theorema
Wolfgang Windsteiger; Bruno Buchberger; Markus Rozenkranz
Statement Theorem[”gsqrt[2] irrational”, ¬ rat[ $\sqrt{2}$ ]]
Palabras clave: Inference Rule; Mathematical Knowledge; Predicate Logic; Auxiliary Lemma; Mathematical Textbook.
Pp. 96-107
doi: 10.1007/11542384_15
Lego
Conor McBride
Statement {b|nat}{a|nat}(Eq (times two (times a a)) (times b b))-> (Eq a zero / Eq b zero)
Pp. 108-115
doi: 10.1007/11542384_16
Nuprl
Paul Jackson
Statement ¬(∃u:ℚ. u *_ q u = 2 / 1)
Palabras clave: Type Theory; Proof Tree; Type Check; Display Form; Proof Script.
Pp. 116-126
doi: 10.1007/11542384_17
Ωmega
Christoph Benzmüller; Armin Fiedler; Andreas Meier; Martin Pollet; Jörg Siekmann
Statement (not (rat (sqrt 2)))
Palabras clave: Theory Real; Residue Class; Natural Deduction; Proof Checker; Proof Construction.
Pp. 127-141
doi: 10.1007/11542384_18
B Method
Dominique Cansell
Statement !(n,m).(n:NATURAL& m:NATURAL => (n*n=2*(m*m)<=>(n=0&m=0)))
Pp. 142-150
doi: 10.1007/11542384_19
Minlog
Helmut Schwichtenberg
Statement all x,p,q.2===x*x -> x===p#q -> F
Pp. 151-157