Logic programming / edited by K. L. Clarck and S. A. Tärnlund.
- London [etc.] : Academic Press , cop. 1982 .
- XVII, 366 p. ; 24 cm.
- (A.P.I.C. studies in data processing)
; 16
ISBN 0-12-175520-7
Lógica matemática
Computadores electrónicos digitais
LCC QA9
ISBN 0-12-175520-7
Lógica matemática
Computadores electrónicos digitais
LCC QA9