Home Advanced Search

Advanced Search - Page 1

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.)
Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966
  • PDF
  • English
  • Year: 1983
  • Author: Jӧrg Siekmann and Graham Wrightson (eds.)
Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966
  • DJVU
  • English
  • Year: 1983
  • Author: Jӧrg Siekmann and Graham Wrightson (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.)
6th Conference on Automated Deduction: New York, USA, June 7–9, 1982
  • DJVU
  • English
  • Year: 1982
  • Author: L. Wos (auth.), D. W. Loveland (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.)
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.)
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.)
Operationsberichte Orthopädie und Unfallchirurgie
  • PDF
  • German
  • Year: 2016
  • Author: H. Siekmann, L. Irlenbusch, S. Klima (eds.)
search