Logic programming and automated reasoning : proceedings of 4th international conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993 / Andrei Voronkov, ed. lit..
- Berlin : Springer-Verlag , cop. 1993 .
- XIII, 386 p. : il. ; 24 cm.
- (Lecture notes in computer science)
. 698. Lecture notes in artificial intelligence
ISBN 3-540-56944-8
Programação em lógica
LCC Q334
ISBN 3-540-56944-8
Programação em lógica
LCC Q334