Proof Development with OMEGA
Voronkov, Andrei (Hrsg). Automated deduction : proceedings ; CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27 - 30. 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:
Informatik
DDC Sachgruppe:
Mathematik
