Ωmega
Wiedijk, Freek (Hrsg). The seventeen provers of the world. Berlin: Springer 2006 S. 127 - 141 (Lecture notes in computer science ; Vol. 3600 : Lecture notes in artificial intelligence)
Erscheinungsjahr: 2006
ISBN/ISSN: 978-3-540-30704-4, 3-540-30704-4
Publikationstyp: Buchbeitrag
Sprache: Englisch
| Geprüft | Bibliothek |
Autoren
Benzmüller, Christoph (Autor)
Meier, Andreas (Autor)
Pollet, Martin (Autor)
Siekmann, Jörg (Autor)
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Mathematik
