221. A tour through mathematical logic /
پدیدآورنده : Robert S. Wolf
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Abstract,Logic, Symbolic and mathematical
رده :
QA9
.
W64
2005
222. A treatise on induction and probability
پدیدآورنده : Wright, G. H. von )Georg Henrik(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic,، Probabilities
رده :
BC
91
.
W72
223. A treatise on induction and probability /
پدیدآورنده : Geore Henrik von Wright.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Probabilities.,Fundamentos E Calculo (Probabilidade),Logic.,PHILOSOPHY / Logic,Probabilidade (Textos Introdutorios),Probabilities.
رده :
BC91
224. A treatise on many-valued logics
پدیدآورنده : Siegfried Gottwald
کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع : Many-valued logic
225. A treatise on many-valued logics
پدیدآورنده : Gottwald, Siegfried.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Many-valued logic
رده :
QA
9
.
45
.
G67
2001
226. A tribute to Prof. Dr. Da Ruan
پدیدآورنده : Jie Lu and Etienne Kerre (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence.,Fuzzy logic.,Ruan, Da.
رده :
QA9
.
64
J545
2013
227. A unifying field in logics :
پدیدآورنده : Florentin Smarandache.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.
رده :
BC135
.
S5177
2003
228. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
پدیدآورنده : Agostino Dovier, Enrico Pontelli )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
رده :
QA
76
.
63
.
A14
2010
229. ALPUK 92
پدیدآورنده : Krysia Broda )ed.(.
کتابخانه: (کرمان)
موضوع : Logic programming -- Congresses
رده :
QA
76
.
63
.
A38
1993
230. ALS/AS logic data book
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Handbooks, manuals, etc ، Logic circuits,Handbooks, manuals, etc ، Digital electronics,Handbooks, manuals, etc ، Diodes, Schottky barrier
رده :
TK
7868
.
L6
.
A36
1986
231. AQA Critical thinking AS: Exclusively endorsed by AQA
پدیدآورنده : Butterworth, John
کتابخانه: (قم)
موضوع : ، Critical thinking,، Logic,، Reasoning
رده :
BC
177
.
B77
2008
232. ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Methodologies
پدیدآورنده : Mehta, Ashok B
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Microprocessors,، Logic design
رده :
QA
76
.
5
.
A522
2018
233. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
234. Abduction in Context
پدیدآورنده : by Woosuk Park,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Philosophy,Epistemology,Logic,Artificial intelligence,Cognitive psychology,Philosophy,Epistemology,Cognitive Psychology,Logic,Artificial Intelligence )incl. Robotics(
رده :
EBOOK
,
HV
A33
6626
.
2
235. Abductive cognition
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Abduction (Logic) ; Reasoning. ; Science ; Philosophy. ; Wissenschaftstheorie ; Kognitiver Prozess ; Abduktion ; Inferenz ; Kognitive Psychologie. ; swd. ; Schlussfolgern. ; swd. ; Wissenschaftstheorie. ; swd. ; Kognitiver
236. Abductive inference :
پدیدآورنده : edited by John R. Josephson, Susan G. Josephson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Abduction (Logic),Inference.,Knowledge, Theory of.,Abduction (Logic),Abduction (logique),Abduktion,Connaissance, Théorie de la.,Inference.,Inférence.,Inferenz,Knowledge, Theory of.,Systèmes experts (informatique)
رده :
BC199
.
A26
J67
1996
237. Abductive inference models for diagnostic problem-solving
پدیدآورنده : Peng, Yun
کتابخانه: (طهران)
موضوع : ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning
رده :
Q
335
.
P414
1990
238. Abductive reasoning
پدیدآورنده : Walton, Douglas N., 2491-
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Abduction )Logic(,، Reasoning
رده :
BC
199
.
A26W3
239. Abductive reasoning :logical investigations into discovery and explanation
پدیدآورنده : Aliseda, Atocha.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Abduction )Logic(,، Reasoning,، Artificial intelligence
رده :
BC199
.
A26
A45
2006
240. Abelian varieties
پدیدآورنده : Lang, Serge
کتابخانه: (طهران)
موضوع : ، Abelian groups,، Logic, Symbolic and mathematical
رده :
QA
171
.
L28
