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.)
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.)
Equadiff 82: Proceedings of the international conference held in Würzburg, FRG, August 23–28, 1982
  • DJVU
  • English
  • Year: 1983
  • Author: Wolfgang Alt, Micah Dembo (auth.), H. W. Knobloch, Klaus Schmitt (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.)
search