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.)
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
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.)
Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.)
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96 Karlsruhe, Germany, September 18–20, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: W. Bibel, D. Korn, C. Kreitz, S. Schmitt (auth.), Jacques Calmet, Carla Limongelli (eds.)
Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques
  • PDF
  • English
  • Year: 1998
  • Author: W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)
search