Proof Development with Omega-MEGA: sqrt(2) Is Irrational.
Baaz, Matthias; Voronkov, Andrei (Hrsg). LPAR. 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:
4.43 - Informatik
DDC Sachgruppe:
Mathematik
