Home Advanced Search

Advanced Search - Page 1

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.)
Automated Deduction — A Basis for Applications: Volume III Applications
  • DJVU
  • English
  • Year: 1998
  • Author: Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)
Automated Deduction — A Basis for Applications: Volume III Applications
  • PDF
  • English
  • Year: 1998
  • Author: Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (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.)
Essig Bedarfsgegenstände Geheimmittel: Ergänzungen zu Band I–VIII Generalsachverzeichnis
  • PDF
  • German
  • Year: 1942
  • Author: Oberregierungsrat Dr. G. Reif (auth.), A. Behre, A. Beythien, B. Bleyer, G. Büttner, A. Eichstädt, C. Griebel, A. Gronover, J. Grossfeld, H. Haevecker, A. Hesse, H. Holthöfer, W. Mohr, G. Reif, M. Rüdiger, E. G. Schenk, A. Scheunert, A. Schloemer, O. Windhansen, Ernst Bames (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.)
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.)
Equadiff 82: Proceedings of the international conference held in Würzburg, FRG, August 23–28, 1982
  • PDF
  • English
  • Year: 1983
  • Author: Wolfgang Alt, Micah Dembo (auth.), H. W. Knobloch, Klaus Schmitt (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.)
search