Home Advanced Search

Advanced Search - Page 1

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings
  • PDF
  • English
  • Year: 1988
  • Author: Hantao Zhang, Deepak Kapur (auth.), Ewing Lusk, Ross Overbeek (eds.)
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings
  • DJVU
  • English
  • Year: 1988
  • Author: Hantao Zhang, Deepak Kapur (auth.), Ewing Lusk, Ross Overbeek (eds.)
Logic programming: proc. North American conference 1989, vol.1
  • DJVU
  • English
  • Year: 1989
  • Author: Lusk, Ewing; Overbeek, Ross A
Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Deepak Kapur (auth.), Harald Ganzinger (eds.)
Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers
  • DJVU
  • English
  • Year: 1997
  • Author: Deepak Kapur (auth.), Dongming Wang (eds.)
Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings
  • DJVU
  • English
  • Year: 1992
  • Author: Larry Wos (auth.), Deepak Kapur (eds.)
Automated Mathematical Induction
  • PDF
  • English
  • Year: 1996
  • Author: Francois Bronsard, Uday S. Reddy, Robert W. Hasker (auth.), Hantao Zhang (eds.)
Recent Advances in Parallel Virtual Machine and Message Passing Interface: 4th European PVM/MPI Users' Group Meeting Cracow, Poland, November 3–5, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: William Gropp, Ewing Lusk (auth.), Marian Bubak, Jack Dongarra, Jerzy Waśniewski (eds.)
Computers and Mathematics
  • PDF
  • English
  • Year: 1989
  • Author: Deepak Kapur, Klaus Madlener (auth.), Erich Kaltofen, Stephen M. Watt (eds.)
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)
search