IMPS: An Interactive Mathematical Proof System (1993)

Cached

Download Links

by William M. Farmer , Joshua D. Guttman , F. Javier Thayer
Venue:Journal of Automated Reasoning
Citations:84 - 20 self

Documents Related by Co-Citation

541 Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.” Cambridge – M J C Gordon, T F Melham - 1993
548 A Computational Logic – R S Boyer, J S Moore - 1979
409 A Computational Logic Handbook – R S Boyer, J S Moore
879 A formulation of the simple theory of types – A Church - 1940
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
644 A Mathematical Introduction to Logic – H B Enderton - 1972
762 Introduction to Metamathematics – S C Kleene
3430 Communication and Concurrency – R Milner - 1989
542 Basic Algebra I – Nathan Jacobson - 1985