Third international conference on logic programming : Imperial College of Science and Technology, London, United Kingdom, july 14-18 1986 : proceedings / edited by Ehud Shapiro.
- Berlin [etc.] : Springer-Verlag , cop. 1986 .
- IX, 720 p. ; 24 cm.
- (Lecture Notes in Computer Science)
; 225
ISBN 3-540-16492-8
Programação em lógica
LCC QA75.5
ISBN 3-540-16492-8
Programação em lógica
LCC QA75.5