Doets, Kees
From logic to logic programming / Kees Doets. - Cambridge, US : The MIT Press , cop. 1994 . - XII, 214 p. : il. ; 24 cm. - (Foundations of computing series)
ISBN 0-262-04142-1
Programação em lógica
LCC QA76.63
From logic to logic programming / Kees Doets. - Cambridge, US : The MIT Press , cop. 1994 . - XII, 214 p. : il. ; 24 cm. - (Foundations of computing series)
ISBN 0-262-04142-1
Programação em lógica
LCC QA76.63