Download -  · Selfridge, M. Simon. H.A. Smith. S. ... Andreae. J.H. Arayam, AA. Wneni. ... general algorithms for infernng logical theories from facts.

Transcript