1. ......................
پدیدآورنده : edited by R. Parikh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
453
2. <A> Logical Approach to Philosophy
پدیدآورنده : \ edited by David Devidi and Tim Kenyon.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- Congresses. ,Logic, Symbolic and mathematical -- Congresses. ,منطق -- کنگره‌ها ,منطق ریاضی -- کنگره‌ها
رده :
E-Book
,
3. A logical approach to philosophy
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic ; Congresses. ;
4. A logical approach to philosophy
پدیدآورنده : / edited by David Devidi and Tim Kenyon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic Congresses
رده :
BC5
.
L64
2006
5. A logical approach to philosophy
پدیدآورنده : edited by David Devidi and Tim Kenyon
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Logic, Congresses
رده :
BC
.
L64
5
2006
6. A logical approach to philosophy
پدیدآورنده : / edited by David Devidi and Tim Kenyon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic Congresses
رده :
BC5
.
L64
2006
7. ALPUK 92
پدیدآورنده : Krysia Broda )ed.(.
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
63
.
A38
1993
8. Advanced computer architecture :
پدیدآورنده : Chao Li, Junjie Wu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer System Implementation.,Logic Design.,Operating Systems.,Processor Architectures.,Special Purpose and Application-Based Systems.,Computer architecture & logic design.,Computer architecture.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Operating systems.,Systems analysis & design.
رده :
QA76
.
9
.
A73
9. Advanced models of cognition for medical training and practice
پدیدآورنده : edited by David A. Evans, Vimla L. Patel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cognitive science -- Congresses.,Medical education -- Philosophy -- Congresses.,Medical logic -- Congresses.
رده :
R723
.
E358
1992
10. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
پدیدآورنده : Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L36B7
1996
11. Advances in intelligent systems and Robotics
پدیدآورنده : / Germano Lambert Torres...[and other]
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Artificial intelligent-Congresses,Logic-symblic and mathematical-Robotics-congresses
رده :
006
.
322
A244
12. Advances in linear logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ;
13. Advances in logic, artificial intelligence, and robotics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Robotics ; Congresses. ;
14. 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
15. #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
16. 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
17. Advances in logic artificial intelligence and robotics LAPTEC 2002
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)
موضوع : Artisicial intelligence - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
{
1648
},
a10532fac62a75b806461958d7dac762
18. Advances in logic based intelligent systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Artificial intelligence Congresses,Logic, Symbolic and mathematical Congresses
رده :
Q
،
334
،.
C69
،
2005
19. 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
20. 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
