DMCA
The Foundation of a Generic Theorem Prover (1989)
Cached
Download Links
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [www.cl.cam.ac.uk]
- [belle.sourceforge.net]
- DBLP
Other Repositories/Bibliography
by
Lawrence C. Paulson
Venue: | Journal of Automated Reasoning |
Citations: | 470 - 48 self |