1. Automated deduction in classical and non-classical logics : selected papers
پدیدآورنده : Ricardo Caferra, Gernot Salzer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1761
2. Logic for Computer Science and Artificial Intelligence
پدیدآورنده : / Caferra
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
3. Logic for computer science and artificial intelligence
پدیدآورنده : Ricardo Caferra
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence,Computer logic
رده :
QA76
.
9
.
L63
C344
2011
4. Logic for computer science and artificial intelligence
پدیدآورنده : Ricardo Caferra
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Computer logic,Artificial intelligence
رده :
QA
76
,.
9
.
C22L6
2011