@BOOK{ Book!D - 101398268,
AUTHOR = "Mauricio Ayala-Rincon, Flavio L. C. de Moura",
TITLE = "Applied logic for computer scientists : computational deduction and formal proofs",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Computer logic,، Computer science -- Mathematics",
URL = "/book/101398268/Applied-logic-for-computer-scientists-computatio/"}