Jörg H. Siekmann

8th International Conference on Automated Deduction: Oxford, England, July 27-August 1, 1986 (Lecture Notes in Computer Science)

Jörg H. Siekmann

$60.57

Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings (Lecture Notes in Computer Science)

Jörg H. Siekmann

$109.99

Instantiation Theory: On the Foundations of Automated Deduction

Jörg H. Siekmann

$59.78

Current Trends in SNePS - Semantic Network Processing System

Jörg H. Siekmann

Out of Stock