Logic programming : first Russian conference on logic programming, Irkutsk, Russia, September 14-18, 1990 / editor A. Voronkov.
- Berlin - Heidelberg, DE [etc.] : Springer-Verlag , cop. 1992 .
- IX, 514 p. : il. ; 24 cm.
- (Lecture notes in computer science)
. Lecture notes in artificial intelligence ; 592
ISBN 3-540-55460-2
Programação em lógica
LCC Q334
ISBN 3-540-55460-2
Programação em lógica
LCC Q334
