Back to Search
Start Over
The Unit Proof and the Input Proof in Theorem Proving.
- Source :
- Journal of the ACM; Oct1970, Vol. 17 Issue 4, p698-707, 10p
- Publication Year :
- 1970
Details
- Language :
- English
- ISSN :
- 00045411
- Volume :
- 17
- Issue :
- 4
- Database :
- Complementary Index
- Journal :
- Journal of the ACM
- Publication Type :
- Academic Journal
- Accession number :
- 73454036
- Full Text :
- https://doi.org/10.1145/321607.321618