241. A tour through mathematical logic /
المؤلف: Robert S. Wolf
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Abstract,Logic, Symbolic and mathematical
رده :
QA9
.
W64
2005
242. A treatise on induction and probability
المؤلف: Wright, G. H. von )Georg Henrik(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic,، Probabilities
رده :
BC
91
.
W72
243. A treatise on induction and probability /
المؤلف: Geore Henrik von Wright.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Probabilities.,Fundamentos E Calculo (Probabilidade),Logic.,PHILOSOPHY / Logic,Probabilidade (Textos Introdutorios),Probabilities.
رده :
BC91
244. A treatise on many-valued logics
المؤلف: Siegfried Gottwald
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Many-valued logic
245. A treatise on many-valued logics
المؤلف: Gottwald, Siegfried.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Many-valued logic
رده :
QA
9
.
45
.
G67
2001
246. A tribute to Prof. Dr. Da Ruan
المؤلف: Jie Lu and Etienne Kerre (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational intelligence.,Fuzzy logic.,Ruan, Da.
رده :
QA9
.
64
J545
2013
247. A unifying field in logics :
المؤلف: Florentin Smarandache.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.
رده :
BC135
.
S5177
2003
248. 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
249. ALPUK 92
المؤلف: Krysia Broda )ed.(.
المکتبة: (کرمان)
موضوع: Logic programming -- Congresses
رده :
QA
76
.
63
.
A38
1993
250. 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
251. AQA Critical thinking AS: Exclusively endorsed by AQA
المؤلف: Butterworth, John
المکتبة: مکتبه الادیان و المذاهب التخصصیه (قم)
موضوع: ، Critical thinking,، Logic,، Reasoning
رده :
BC
177
.
B77
2008
252. ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Methodologies
المؤلف: Mehta, Ashok B
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Microprocessors,، Logic design
رده :
QA
76
.
5
.
A522
2018
253. Abduction and Induction
المؤلف: edited by Peter A. Flach, Antonis C. Kakas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
254. 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
255. Abductive cognition
المؤلف: / Lorenzo Magnani
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Abduction (Logic),Reasoning.,Science--Philosophy,Wissenschaftstheorie--Kognitiver Prozess--Abduktion --Inferenz ,Kognitive Psychologie.--swd,Schlussfolgern.--swd,Wissenschaftstheorie.--swd,Kognitiver Prozess.--swd,Abduktion --swd,Inferenz --swd
رده :
Q
,
175
.
32
,.
A24
,
M35
,
2009
256. Abductive cognition
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Abduction (Logic) ; Reasoning. ; Science ; Philosophy. ; Wissenschaftstheorie ; Kognitiver Prozess ; Abduktion ; Inferenz ; Kognitive Psychologie. ; swd. ; Schlussfolgern. ; swd. ; Wissenschaftstheorie. ; swd. ; Kognitiver
257. 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
258. Abductive inference models for diagnostic problem-solving
المؤلف: Peng, Yun
المکتبة: (طهران)
موضوع: ، Problem solving,، Artificial intelligence,، Abduction )Logic(,، Reasoning
رده :
Q
335
.
P414
1990
259. Abductive reasoning
المؤلف: Walton, Douglas N., 2491-
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Abduction )Logic(,، Reasoning
رده :
BC
199
.
A26W3
260. Abductive reasoning :logical investigations into discovery and explanation
المؤلف: Aliseda, Atocha.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Abduction )Logic(,، Reasoning,، Artificial intelligence
رده :
BC199
.
A26
A45
2006
