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.)
Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.)
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: W. Bibel, S. Brüning, U. Egly, D. Korn (auth.), Peter Baumgartner, Reiner Hähnle, Joachim Possega (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.)
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (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.)
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.)
Algebraic Algorithms and Error-Correcting Codes: 3rd International Conference, AAECC-3 Grenoble, France, July 15–19, 1985 Proceedings
  • DJVU
  • English
  • Year: 1986
  • Author: Jacques Calmet (eds.)
search