Home Advanced Search

Advanced Search - Page 1

Computers and Mathematics
  • PDF
  • English
  • Year: 1989
  • Author: Deepak Kapur, Klaus Madlener (auth.), Erich Kaltofen, Stephen M. Watt (eds.)
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.)
ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992
  • PDF
  • English
  • Year: 1993
  • Author: R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur (auth.), Krysia Broda BSc, MSc, PhD (eds.)
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.)
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.)
Computer Algebra Handbook: Foundations, Applications, Systems
  • DJVU
  • English
  • Year: 2003
  • Author: Johannes Grabmeier, Erich Kaltofen, Volker Weispfenning (eds.)
Bernard Shaw’s Fiction, Material Psychology, and Affect: Shaw, Freud, Simmel
  • PDF
  • English
  • Year: 2018
  • Author: Stephen Watt (auth.)
search