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