@BOOK{ Book!D - 90113711,
AUTHOR = " edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.",
TITLE = "Logic Programming and Nonmonotonic Reasoning : ",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.",
URL = "/book/90113711/Logic-Programming-and-Nonmonotonic-Reasoning/"}