@BOOK{ Book!D - 93570905,
AUTHOR = "/ Caferra",
TITLE = "Logic for Computer Science and Artificial Intelligence",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "ELECTRONIC&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL",
URL = "/book/93570905/Logic-for-Computer-Science-and-Artificial-Intellig/"}