Loveland, Donald W.
Automated theorem proving : a logical basis / Donald W. Loveland. - New York : North-Holland , 1978 . - XII, 405 p. : il. ; 23 cm. - (Fundamental studies in computer science) ; 6
ISBN 0-7204-0499-1
Inteligência artificial
Lógica
LCC Q335
Automated theorem proving : a logical basis / Donald W. Loveland. - New York : North-Holland , 1978 . - XII, 405 p. : il. ; 23 cm. - (Fundamental studies in computer science) ; 6
ISBN 0-7204-0499-1
Inteligência artificial
Lógica
LCC Q335