Home Advanced Search

Advanced Search - Page 1

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.)
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990
  • PDF
  • English
  • Year: 1990
  • Author: Robert A. Kowalski (auth.), John W. Lloyd (eds.)
Automatisierung von Terminierungsbeweisen
  • PDF
  • German
  • Year: 1991
  • Author: Christoph Walther (auth.), Wolfgang Bibel (eds.)
Wissensbasierte Echtzeitplanung
  • PDF
  • German
  • Year: 1989
  • Author: Jürgen Dorn (auth.), Wolfgang Bibel (eds.)
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.)
Lehren vom Leben: Essays über Mensch und Gesellschaft
  • PDF
  • German
  • Year: 2003
  • Author: Wolfgang Bibel (auth.)
Automated Theorem Proving
  • PDF
  • English
  • Year: 1987
  • Author: Wolfgang Bibel (auth.)
Wissensrepräsentation und Inferenz: Eine grundlegende Einführung
  • PDF
  • German
  • Year: 1993
  • Author: Wolfgang Bibel (auth.)
Automated Theorem Proving
  • PDF
  • German
  • Year: 1982
  • Author: Wolfgang Bibel (auth.)
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.)
search