EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (324 KB) Klingenbeck.pdf2.pdf (234 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA1167943
Titel Semantic tableaux with ordering restrictions
Autor Klingenbeck, Stefan
Hähnle, Reiner
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-12. Ed.: A. Bundy
Verlag: Springer, Berlin
Jahr: 1994
ISBN: 3-540-58156-1
Seitenangabe: 708-722

Serie:
Lecture notes in computer science ; 814
ISSN: 0302-9743