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
