Irrationality of √2 : A Case Study in Omega
SEKI-Report. Bd. 2001. Bremen: DFKI 2002 S. 1 - 103 SR-02-03
Erscheinungsjahr: 2002
ISBN/ISSN: 1437-4447
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
| Geprüft | Bibliothek |
Autoren
Benzmüller, Christoph (Autor)
Meier, Andreas (Autor)
Pollet, Martin (Autor)
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
