46

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

Embed Size (px)

Citation preview