@BOOK{ Book!D - 89950002,
AUTHOR = " edited by Wolfgang Bibel, Peter H. Schmitt.",
TITLE = "Automated Deduction - A Basis for Applications",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.",
URL = "/book/89950002/Automated-Deduction-A-Basis-for-Applications/"}