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.)

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.)

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.)

Automated Mathematical Induction

PDF
English
Year: 1996
Author: Francois Bronsard, Uday S. Reddy, Robert W. Hasker (auth.), Hantao Zhang (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.)

Computer Mathematics: 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

PDF
English
Year: 2008
Author: Hyeong In Choi, Rida T. Farouki, Chang Yong Han, Hwan Pyo Moon (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.)

Using MPI: Portable Parallel Programming with the Message-Passing Interface

PDF
English
Year: 2014
Author: William Gropp, Ewing Lusk, Anthony Skjellum