## IMPS: An Interactive Mathematical Proof System (1993)

### Cached

### Download Links

- [imps.mcmaster.ca]
- [imps.mcmaster.ca]
- [web.cs.wpi.edu]
- DBLP

### Other Repositories/Bibliography

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 |