Theorem Proving with Analytic Tableaux and Related Methods
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St.Goar, Germany, May 7 - 10,1995.Proceedings, Lecture Notes in Computer Science 918 - Lecture Notes in Artificial Intelligence
Peter Baumgartner/Reiner Hähnle/Joachim Posegga
€53.49
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 26.04.1995
Umfang: xi, 361 S.
Sprache: ENG
Einband: KT
ISBN/EAN: 9783540593386
Umbreit-Nr.: 1434402
