EVA STAR Trefferanzeige

Volltextanzeige Volltext.ps1.ps (69 KB) Beckert.pdf2.pdf (129 KB)
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 (Fak. f. 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
URL für Zitat http://digbib.ubka.uni-karlsruhe.de/volltexte/153596
URN für Zitat urn:nbn:de:swb:90-AAA1535964