Sandford, David
Using sophisticated models in resolution theorem proving / David M. Sandford. - New York : Springer-Verlag , 1980 . - XI, 239 p. : il. ; 25 cm. - (Lecture notes in computer science) ; 90
ISBN 3-540-10231-0
Inteligência artificial
LCC Q335
Using sophisticated models in resolution theorem proving / David M. Sandford. - New York : Springer-Verlag , 1980 . - XI, 239 p. : il. ; 25 cm. - (Lecture notes in computer science) ; 90
ISBN 3-540-10231-0
Inteligência artificial
LCC Q335
