EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (175 KB) Beckert.pdf2.pdf (185 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA1538963
Titel Deduction by combining semantic tableaux and integer programming
Autor Beckert, Bernhard
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
Erschienen in Computer science logic. Ed.: H. Kleine Büning.
Verlag: Springer, Berlin
Jahr: 1996
ISBN: 3-540-61377-3
Seitenangabe: 52 - 63

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