Home Advanced Search

Advanced Search - Page 1

Automated theorem proving
  • DJVU
  • English
  • Year: 1987
  • Author: Bibel W.
Deduction: Automated Logic
  • DJVU
  • English
  • Year: 1993
  • Author: Bibel W.
Künstliche Intelligenz: Repräsentation von Wissen und natürlichsprachliche Systeme Frühjahrsschule, Dassel (Solling) 5.–16. März 1984
  • PDF
  • German
  • Year: 1985
  • Author: W. Bibel (auth.), Christopher Habel (eds.)
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
  • PDF
  • English
  • Year: 1980
  • Author: Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.)
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
  • DJVU
  • English
  • Year: 1980
  • Author: Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.)
Fundamentals of Artificial Intelligence: An Advanced Course
  • PDF
  • English
  • Year: 1987
  • Author: Wolfgang Bibel
Train Wreck: The Forensics of Rail Disasters
  • EPUB
  • English
  • Year: 2012
  • Author: George Bibel
Beyond the Black Box: The Forensics of Airplane Crashes
  • PDF
  • English
  • Year: 2007
  • Author: George Bibel
Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence Applications
  • PDF
  • English
  • Year: 1989
  • Author: Wolfgang Bibel, Jean-Marie Nicolas (auth.), Joachim W. Schmidt, Constantino Thanos (eds.)
Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985
  • DJVU
  • English
  • Year: 1986
  • Author: J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.)
search