1481. Logic, artificial intelligence and robotics: LAPTEC 2001
پدیدآورنده : edited by Jair Minoro Abe and Joao Inacio da Silva Filho
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Artificial intelligence,، Robotics
رده :
Q
334
.
L64
1482. Logic-based artificial intelligence /
پدیدآورنده : edited by Jack Minker.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer logic.,Logic, Symbolic and mathematical.,Intelligence artificielle.,Logique informatique.,Logique symbolique et mathématique.,Artificial intelligence.,Computer logic.,Künstliche Intelligenz,Logic, Symbolic and mathematical.,Mathematische Logik
رده :
QA76
.
9
.
L63
L62
2000
1483. Logic for Computer Science and Artificial Intelligence
پدیدآورنده : / Caferra
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ELECTRONIC&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
1484. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : / Edmund M. Clarke, Andrei Voronkov
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
1485. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : / Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
1486. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : \ Martin Davis, ... [et al.] (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر
رده :
QA
75
.
5
.
L66
2015
E-Book
,
1487. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : / ller, Andrei VoronkovیChristian G. Ferm
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
1488. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : / Ken McMillan, Aart Middeldorp, Andrei Voronkov
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
1489. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : / rner, Andrei VoronkovوNikolaj Bj
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
1490. Logic for computer science and artificial intelligence
پدیدآورنده : Ricardo Caferra
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence,Computer logic
رده :
QA76
.
9
.
L63
C344
2011
1491. Logic for computer science and artificial intelligence
پدیدآورنده : Ricardo Caferra
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Computer logic,Artificial intelligence
رده :
QA
76
,.
9
.
C22L6
2011
1492. Logic for programming, artificial intelligence, and reasoning :
پدیدآورنده : Edmund M. Clarke, Andrei Voronkov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Informatique.,Logic programming -- Congresses.,Logic programming.
1493. Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
پدیدآورنده : Moshe Y. Vardi, Anderi Voronkov )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2850
1494. Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
پدیدآورنده : Franz Baader, Andrei Voronkov )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3452
1495. Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
پدیدآورنده : Matthias Baaz, Andrei Voronkov )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Artificial intelligence,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2514
1496. Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
پدیدآورنده : Robert Nieuwenhuis, Andrei Voronkov )eds.(
کتابخانه: (طهران)
موضوع : ، Logic programming
رده :
QA
76
.
L28
Vol
.
2250
1497. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
پدیدآورنده : / Geoff Sutcliffe, Andrei Voronkov (eds.)
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic programming,Automatic theorem proving,Artificial intelligence,-- Congresses,-- Congresses,-- Congresses
رده :
005
.
115
I61L
2005
1498. Logics for artificial intelligence
پدیدآورنده : Turner, Raymond
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
Q
335
.
T87
1984
1499. Logics for computer and data sciences, and artificial intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic. ;
1500. Logics in Artificial Intelligence
پدیدآورنده : / عTomi Janhunen, Ilkka Niemel
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
