Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Interactive theorem proving
Home
Publications
Interactive theorem proving
Interactive theorem proving
JM
Jorge Morales
Jorge Morales
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1973
conference paper
Published by
Association for Computing Machinery (ACM)
https://doi.org/10.1145/800192.805791
Abstract
No abstract available
Cited by 1 article