Boyer, Robert S.
A computational logic / Robert S. Boyer, J. Strother Moore. - London : Academic Press , cop. 1979 . - XIV p. : il. ; 24 cm. - (ACM monograph series)
ISBN 0-12-122950-5
Lógica
Inteligência artificial
LCC Q335
A computational logic / Robert S. Boyer, J. Strother Moore. - London : Academic Press , cop. 1979 . - XIV p. : il. ; 24 cm. - (ACM monograph series)
ISBN 0-12-122950-5
Lógica
Inteligência artificial
LCC Q335