Types in logic programming / Frank Pfenning, ed. lit..
- Cambridge, US : The MIT Press , cop. 1992 .
- XVIII, 357 p. : il. ; 24 cm.
- (Logic programming series)
ISBN 0-262-16131-1
Programação em lógica
LCC QA76.63
ISBN 0-262-16131-1
Programação em lógica
LCC QA76.63
