Abstract
Lawrence Wos, Daniel Carson, and George Robinson. The unit preference strategy in theorem proving. AFIPS conference proceedings, Volume 26, 1964 Fall Joint Computer Conference, Spartan Books, Inc., Baltimore, Md., and Cleaver-Hume Press, London, 1964, pp. 615–621. - Volume 32 Issue 1
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have