Home Advanced Search

Advanced Search - Page 1

8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
  • PDF
  • English
  • Year: 1986
  • Author: Peter B. Andrews (auth.), Jörg H. Siekmann (eds.)
GWAI-81: German Workshop on Artificial Intelligence Bad Honnef, January 26–31, 1981
  • PDF
  • English-German
  • Year: 1981
  • Author: B. Radig (auth.), Jörg H. Siekmann (eds.)
Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982
  • PDF
  • German
  • Year: 1982
  • Author: Jörg H. Siekmann (auth.), Wolfgang Bibel, Jörg H. Siekmann (eds.)
Computational Logic
  • PDF
  • English
  • Year: 2014
  • Author: Jörg H. Siekmann (Eds.)
Computational Logic
  • PDF
  • English
  • Year: 2014
  • Author: Jörg H. Siekmann (Eds.)
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970
  • PDF
  • English
  • Year: 1983
  • Author: L. Wos, L. Henschen (auth.), Jörg H. Siekmann, Graham Wrightson (eds.)
Resource-Adaptive Cognitive Processes
  • PDF
  • English
  • Year: 2010
  • Author: Jörg Siekmann, Matthew W. Crocker (auth.), Matthew W. Crocker, Jörg Siekmann (eds.)
Knowledge Science, Engineering and Management: Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: John Debenham (auth.), Zili Zhang, Jörg Siekmann (eds.)
Computational Logic
  • PDF
  • English
  • Year: 2014
  • Author: Dov M. Gabbay, Jörg H. Siekmann, John Woods (eds.)
Handbook of the history of logic. Vol. 09. Computational logic
  • PDF
  • English
  • Year: 2014
  • Author: Gabbay, Dov M.; Siekmann, Jörg H.; Woods, John Hayden (eds.)
search