Home Advanced Search

Advanced Search - Page 1

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.)
Advances in Data Base Theory: Volume 2
  • PDF
  • English
  • Year: 1984
  • Author: Joachim Biskup, Hans Hermann Brüggemann (auth.), Hervé Gallaire, Jack Minker, Jean Marie Nicolas (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.)
Advances in Database Technology — EDBT '90: International Conference on Extending Database Technology Venice, Italy, March 26–30, 1990 Proceedings
  • PDF
  • English
  • Year: 1990
  • Author: Carlo Zaniolo (auth.), François Bancilhon, Constantino Thanos, Dennis Tsichritzis (eds.)
Wissensbasierte Echtzeitplanung
  • PDF
  • German
  • Year: 1989
  • Author: Jürgen Dorn (auth.), Wolfgang Bibel (eds.)
Automatisierung von Terminierungsbeweisen
  • PDF
  • German
  • Year: 1991
  • Author: Christoph Walther (auth.), Wolfgang Bibel (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.)
search