Home Advanced Search

Advanced Search - Page 1

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

DJVU
English
Year: 1997
Author: Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (eds.)

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings

DJVU
English
Year: 1994
Author: Sten Agerholm (auth.), Thomas F. Melham, Juanito Camilleri (eds.)

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings

DJVU
English
Year: 1994
Author: Amy Felty, Douglas Howe (auth.), Frank Pfenning (eds.)

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

PDF
English
Year: 2012
Author: Lawrence C. Paulson (auth.), Lennart Beringer, Amy Felty (eds.)

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

PDF
English
Year: 1996
Author: Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.)

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

PDF
English
Year: 2015
Author: Amy P. Felty, Aart Middeldorp (eds.)

The Nature of Mathematics and the Mathematics of Nature

PDF
English
Author: Michael Jacob and Sten Andersson (Auth.)

Technology Commercialization: DEA and Related Analytical Methods for Evaluating the Use and Implementation of Technical Innovation

PDF
English
Year: 2002
Author: Sten A. Thore (auth.), Sten A. Thore (eds.)

Grow 15 herbs for the kitchen

EPUB
English
Year: 1983
Author: Sheryl L. Felty

Las categorías de la cultura mexicana

EPUB
Spanish
Year: 2009
Author: Elsa Cecilia Frost