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
