EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (140 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA741979
Titel Restart tableaux with selection function.
Autor Pape, Christian
Haehnle, Reiner
Institution Fakultät für Informatik (INFORMATIK)
Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erscheinungsvermerk In: Computational logic and proof theory. KGC '97. Ed.: G. Gottlob. Berlin 1997. S. 219-232. (Lecture notes in computer science. 1289.)