Logic programming and non-monotonic reasoning : proceedings of the first international workshop / ed.by Anil Nerode, Wiktor Marek, and V.S.Subrahmanian.
- London : The Mit Press , cop. 1991 .
- VI, 288 p. : il. ; 23 cm.
ISBN 0-262-64027-9
Programação em lógica
Raciocínio computacional
Lógica não monotónica
LCC QA76
ISBN 0-262-64027-9
Programação em lógica
Raciocínio computacional
Lógica não monotónica
LCC QA76