Proof Development with Ωmega : The Irrationality of √2
Kamareddine, Fairouz D. (Hrsg). Thirty Five Years of Automating Mathematics. Dordrecht: Springer 2003 S. 271 - 314 (Applied Logic Series ; 28)
Erscheinungsjahr: 2003
ISBN/ISSN: 978-90-481-6440-0
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/978-94-017-0253-9_11
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Autoren
Siekmann, Jörg (Autor)
Benzmüller, Christoph (Autor)
Meier, Andreas (Autor)
Normann, Immanuel (Autor)
Pollet, Martin (Autor)
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
