作者 Jörg H. Siekmann 的书籍 - BookPine

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970

Jörg H. Siekmann

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966

Jörg H. Siekmann

Foundations of Mathematics I

Foundations of Mathematics I

Claus Peter Wirth

Cognitive Systems: Joint Chinese-German Workshop Shanghai, China, March 7-11, 2005 Revised Selected Papers. Lecture Notes in Computer Science, Volume 4429.

Cognitive Systems: Joint Chinese-German Workshop Shanghai, China, March 7-11, 2005 Revised Selected Papers. Lecture Notes in Computer Science, Volume 4429.

Rugian Lu

Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Christoph Benzmueller

Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings

Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings

Zili Zhang

Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers

Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers

Ruqian Lu

Coherent Systems. Studies in Logic and Practical Reasoning, Volume 2.

Coherent Systems. Studies in Logic and Practical Reasoning, Volume 2.

Karl Schlechta

A Tight, Practical Integration of Relations and Functions

A Tight, Practical Integration of Relations and Functions

Harold Boley

Community Computing and Support Systems: Social Interaction in Networked Communities

Community Computing and Support Systems: Social Interaction in Networked Communities

Toru Ishida

Conceptual Structures: Current Practices

Conceptual Structures: Current Practices

Judith P. Dick William M. Tepfenhart

Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action

Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action

Peter Haddawy

Automated Deduction, Cade-11: 11th International Conference on Automated Deduction Saratoga Springs, Ny, Usa, June 15-18, 1992 Proceedings

Automated Deduction, Cade-11: 11th International Conference on Automated Deduction Saratoga Springs, Ny, Usa, June 15-18, 1992 Proceedings

Deepak Kapur

Nonclassical Logics and Information Processing: Proceedings

Nonclassical Logics and Information Processing: Proceedings

Jörg H. Siekmann

Advanced Topics in Artificial Intelligence: International Summer School, Prague, Czechoslovakia, July 6-17, 1992 : Proceedings

Advanced Topics in Artificial Intelligence: International Summer School, Prague, Czechoslovakia, July 6-17, 1992 : Proceedings

Vladimir Marik

Instantiation Theory: On the Foundations of Automated Deduction

Instantiation Theory: On the Foundations of Automated Deduction

James G. Williams

European Workshop on Planning: Eswp '91, Sankt Augustin, Frg, March 18-19, 1991 : Proceedings

European Workshop on Planning: Eswp '91, Sankt Augustin, Frg, March 18-19, 1991 : Proceedings

Joachim Hertzberg

Current Trends in SNePS - Semantic Network Processing System

Current Trends in SNePS - Semantic Network Processing System

Jörg H. Siekmann