Proof Development with OMEGA.
Voronkov, Andrei (Hrsg). CADE. Berlin: Springer 2002 S. 144 - 149 (Lecture Notes in Computer Science ; 2392)
Erscheinungsjahr: 2002
ISBN/ISSN: 978-3-540-43931-8
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/3-540-45620-1_12
| Geprüft: | Bibliothek |
Autoren
H. Siekmann, Jörg (Autor)
Benzmüller, Christoph (Autor)
Brezhnev, Vladimir (Autor)
Cheikhrouhou, Lassaad (Autor)
Franke, Andreas (Autor)
Horacek, Helmut (Autor)
Kohlhase, Michael (Autor)
Meier, Andreas (Autor)
Melis, Erica (Autor)
Moschner, Markus (Autor)
Normann, Immanuel (Autor)
Pollet, Martin (Autor)
Sorge, Volker (Autor)
Ullrich, Carsten (Autor)
Wirth, Claus-Peter (Autor)
Zimmer, Jürgen (Autor)
Klassifikation
DFG Fachgebiet:
4.43 - Informatik
DDC Sachgruppe:
Mathematik
