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

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

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

Bernard Shaw’s Fiction, Material Psychology, and Affect: Shaw, Freud, Simmel

PDF
English
Year: 2018
Author: Stephen Watt (auth.)

Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings

PDF
English
Year: 2009
Author: Rob Arthan (auth.), Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt (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.)

Vertrauen in Unternehmensnetzwerken: Eine interdisziplinäre Analyse

PDF
German
Year: 2002
Author: Erich Klaus (auth.)

Mathematische Lernprozesse: Analysen mit kognitionstheoretischen Modellen

PDF
German
Year: 1986
Author: Klaus Hasemann (auth.), Erich Ch. Wittmann (eds.)