Home Advanced Search

Advanced Search - Page 1

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.)
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (eds.)
Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982
  • PDF
  • English
  • Year: 1982
  • Author: Arnold Schönhage (auth.), Jacques Calmet (eds.)
Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982
  • DJVU
  • English
  • Year: 1982
  • Author: Arnold Schönhage (auth.), Jacques Calmet (eds.)
Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982
  • PDF
  • English
  • Year: 1982
  • Author: Arnold Schönhage (auth.), Jacques Calmet (eds.)
Automated Deduction — A Basis for Applications: Volume III Applications
  • DJVU
  • English
  • Year: 1998
  • Author: Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Johannes Ueberberg (auth.), Jacques Calmet, John A. Campbell (eds.)
Verhandlungen Band II / Biologisch-Medizinischer Teil
  • PDF
  • German
  • Year: 1960
  • Author: Francis O. Schmitt (auth.), W. Bargmann, D. Peters, C. Wolpers (eds.)
Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth
  • PDF
  • English
  • Year: 2008
  • Author: Giovanni Di Crescenzo (auth.), Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade (eds.)
Uprooting and Surviving: Adaptation and Resettlement of Migrant Families and Children
  • PDF
  • English
  • Year: 1982
  • Author: Richard C. Nann D.S.W. (auth.), Richard C. Nann D. S. W. (eds.)
search