Padawitz, Peter
Computing in horn clause theories / Peter Padawitz. - New York : Springer-Verlag , cop. 1988 . - XI, 322 p. : il. ; 25 cm. - (EATCS monographs on theoretical computer science,) ; 16
ISBN 0-387-19427-4
Programação em lógica
LCC QA76
Computing in horn clause theories / Peter Padawitz. - New York : Springer-Verlag , cop. 1988 . - XI, 322 p. : il. ; 25 cm. - (EATCS monographs on theoretical computer science,) ; 16
ISBN 0-387-19427-4
Programação em lógica
LCC QA76