@BOOK{ Book!D - 91085955,
AUTHOR = "Sperschneider, V.",
TITLE = "Logic : a foundation for computer science",
LIBRARY= "کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری",
SUBJECT = "، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical",
URL = "/book/91085955/Logic-a-foundation-for-computer-science/"}