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.)
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.)
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.)
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.)
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.)
search