@BOOK{ Book!D - 90114059,
AUTHOR = " edited by M.A. McRobbie, J.K. Slaney.",
TITLE = "Automated Deduction -- Cade-13 : ",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.",
URL = "/book/90114059/Automated-Deduction-Cade13/"}