Induction of concepts in the predicate calculus (1975)

by S A Vere
Venue:Proceedings Fourth International Joint Conference Artificial Intelligence