EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (69 KB) Beckert.pdf2.pdf (129 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA1535964
Titel The tableau-based theorem prover 3TAP. Version 4.0
Autor Beckert, Bernhard
Haehnle, Reiner
Oel, Peter
Sulzmann, Martin
Institution Fakultät für Informatik (INFORMATIK)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erschienen in Automated deduction - Cade-13. Ed.: M.A. McRobbie
Verlag: Springer, Berlin
Jahr: 1996
ISBN: 3-540-61511-3
Seitenangabe: 303 - 307

Serie:
Lecture notes in artificial intelligence ; 1104
ISSN: 0302-9743