Proof Development with Omega-MEGA : √2 Is Irrational
Baaz, Matthias; Voronkov, Andrei (Hrsg). Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings / LPAR 2002, Tbilisi, Georgia, October 14 - 18. Berlin: Springer 2002 S. 367 - 387 (Lecture Notes in Computer Science ; 2514)
Erscheinungsjahr: 2002
ISBN/ISSN: 3-540-00010-0
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/3-540-36078-6_25
| Geprüft | Bibliothek |
Autoren
H. Siekmann, Jörg (Autor)
Benzmüller, Christoph (Autor)
Meier, Andreas (Autor)
Pollet, Martin (Autor)
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
