Menu
Home
Help and information
About this website
Privacy Policy
W. Buntine
1 published title
Machine invention of first-order predicates by inverting resolution
(Contributor)
1 edition
Turing Institute
1991
Details