Book serie: / Книги серии: Lecture Notes in Computer Science 918 : Lecture Notes in Artificial Intelligence » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 918 : Lecture Notes in Artificial Intelligence

book Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

djvu

Author: W. Bibel S. Brüning U. Egly D. Korn (auth.) Peter Baumgartner Reiner Hähnle Joachim Possega (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0