361. Advances in intensional logic
المؤلف: edited by Maarten de Rijke.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Intention (Logic)
رده :
QA9
.
46
E358
2011
362. Advances in knowledge Representation, Logic programming, and Abstract Argumentation
المؤلف: \ [edited by] Thomas Eiter...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence,Logic programming.,هوش مصنوعی,برنامه‌نویسی منطقی.,a03,a04,a03,a04
رده :
TJ
211
.
A3
2015
E-Book
,
363. Advances in linear logic
المؤلف: edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
L56
1995
364. Advances in linear logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Congresses. ;
365. Advances in linear logic
المؤلف: / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L56
,
1995
366. Advances in logic, artificial intelligence, and robotics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Robotics ; Congresses. ;
367. Advances in logic, artificial intelligence, and robotics :
المؤلف: edited by Jair Minoro Abe and João Inácio da Silva Filho.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.
رده :
Q334
.
C69
2002eb
368. #Advances in logic, artificial intelligence, and robotics
المؤلف: #edited by Jair Minoro Abe and Joao Inacio da Silva Filho
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Artificial intelligence- Congresses ،Logic, Symbolic and mathematical- Congresses ،Robotics- Congresses
رده :
#
Q
،#.
C69
،#
2002
369. Advances in logic, artificial intelligence and robotics
المؤلف: / edited by Jair Minoro Abe and Jo?uo In??cio da Silva Filho
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Logic, Symbolic and mathematical--Congresses,Robotics--Congresses
رده :
Q
,
334
,.
C684
,
2002
370. Advances in logic, artificial intelligence and robotics: LAPTEC 2002
المؤلف: edited by Jair Minoro Abe and Joao Inacio da Silva Filho
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Artificial intelligence -- Congresses,، Logic, symbolic and mathematical - Congresses,، Robotics -- Congresses
رده :
Q
334
.
A39
371. Advances in logic artificial intelligence and robotics LAPTEC 2002
المؤلف:
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Artisicial intelligence - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
{
1648
},
a10532fac62a75b806461958d7dac762
372. Advances in logic based intelligent systems
المؤلف:
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Artificial intelligence Congresses,Logic, Symbolic and mathematical Congresses
رده :
Q
،
334
،.
C69
،
2005
373. Advances in logic based intelligent systems :
المؤلف: edited by Kazumi Nakamatsu and Jair Minoro Abe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
رده :
Q334
.
C69
2005
374. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
المؤلف: Su Gao, Steve Jackson, Yi Zhang, editors
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1N67
2004
375. Advances in modal logic
المؤلف: / edited by Marcus Kracht ... [et al.]
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Modality (Logic)- Congresses
رده :
BC199
.
M6
,
A38
1998
376. Advances in modal logic
المؤلف: editors Frank Wolter... ]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Modality )Logic(
رده :
BC
199
.
M6A39
377. Advances in modal logic
المؤلف: / edited by Marcus Kracht ... [et al.]
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Modality (Logic)- Congresses
رده :
BC199
.
M6
,
A38
1998
378. Advances in technological applications of logical and intelligent systems :
المؤلف: edited by Germano Lambert-Torres ... [et al.]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses
379. Advocacy and opposition :
المؤلف: Karyn Charles Rybacki, Donald Jay Rybacki.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Debates and debating.,Persuasion (Rhetoric),Proposition (Logic),Reasoning.,Debates and debating.,Persuasion (Rhetoric),Proposition (Logic),Reasoning.
رده :
P301
.
5
.
P47
R93
2012
380. After Godel : Platonism and rationalism in mathematics and logic
المؤلف: Tieszen, Richard L.
المکتبة: (طهران)
موضوع: ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
