Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
The unit preference strategy in theorem proving
Home
Publications
The unit preference strategy in theorem proving
The unit preference strategy in theorem proving
LW
Lawrence Wos
Lawrence Wos
DC
Daniel Carson
Daniel Carson
GR
George Robinson
George Robinson
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 1964
conference paper
Published by
Association for Computing Machinery (ACM)
https://doi.org/10.1145/1464052.1464109
Abstract
No abstract available
Cited by 26 articles