1501. Logics in Artificial Intelligence
پدیدآورنده : / o Leiteع, JoفEduardo Ferm
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
1502. Logics in Artificial Intelligence
پدیدآورنده : / me Menginمrفas Cerro, Andreas Herzig, JلLuis Fari
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
1503. Logics in Artificial Intelligence :
پدیدآورنده : edited by Craig MacNish, David Pearce, Luís Moniz Pereira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
1994
1504. Logics in artificial intelligence :
پدیدآورنده : Francesco Calimeri, Nicola Leone, Marco Manna (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.
رده :
Q334
1505. Logics in artificial intelligence :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ;
1506. Logics in artificial intelligence :
پدیدآورنده : José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.,Computer science -- Congresses.
1507. Logics in artificial intelligence
پدیدآورنده : Jurgen Dix, Luis Farinas del Cerro, Ulrich Furbach (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Artificial intelligence- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
,
334
,.
E985
1508. Logics in artificial intelligence :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ;
1509. Logics in artificial intelligence :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : agent. ; traitement langage naturel. ; traitement connaissance. ; logique formelle. ; programmation en logique. ; intelligence artificielle. ; -Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; syst?me multi
1510. Logics in artificial intelligence
پدیدآورنده : Sergio Flesca ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.
1511. Logics in artificial intelligence
پدیدآورنده : Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
Q334
.
J45
2012eb
1512. Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October, 1998 : proceedings
پدیدآورنده : Jurgen Dix, Luis Farinas del Cerro, Ulrich Furbach, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1489
1513. Logics in artificial intelligence: European Workshop JELIA'96, Evora, Portugal, September 30-October 3, 1996 : proceedings
پدیدآورنده : Jose Julio Alferes, Luis Moniz Pereira, Ewa Orlowska )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic
رده :
QA
76
.
L28
Vol
.
1126
1514. Logics in artificial intelligence : European Workshop, JELIA 2000, Malaga, Spain, September 29 - October 2, 2000 : proceedings
پدیدآورنده : Manuel Ojeda-Aciego...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1919
1515. Logics in artificial intelligence : European Workshop JELIA'94, York, UK, September 5-8, 1994 : proceedings
پدیدآورنده : Craig MacNish, David Pearce, Luis Moniz Pereira )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic
رده :
QA
76
.
L28
Vol
.
838
1516. Logics in artificial intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
پدیدآورنده : Jose Julio Alferes, Joao Leite )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3229
1517. Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings
پدیدآورنده : Sergio Flesca ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2424
1518. Logistics and supply chain management with artificial intelligence techniques.
پدیدآورنده : guest editor Felix Chan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Business logistics-- Data processing.,Artificial intelligence.,BUSINESS & ECONOMICS-- Green Business.,Business logistics-- Data processing.
رده :
HD38
.
5
L64
2004eb
1519. MICAI 2000 : Advances in artificial intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 2000 : proceedings
پدیدآورنده : Osvaldo Cairo, L. Enrique Sucar, Francisco J. Cantu )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1793
1520. MICAI 2002 : advances in artificial intelligence : Second Mexican International Conference on Artificial Intelligence, Merida, Yucatan, Mexico, April 22-26, 2002 : proceedings
پدیدآورنده : Carlos A. Coello Coello...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2313
