201. #<A> system of logic ratiocinative and inductive

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع : Logic ،Induction )Logic( ،Evidence

رده :
#
BC
،#.
M54

202. A system of logic ratiocinative and inductive: Being a connected view of the principles of evidence, and the methods of scientific investigation

پدیدآورنده :

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع : ، Logic,Methodology ، Science,، Knowledge, Theory of

رده :
BC
91
.
M6S9

203. A systematic approach to digital logic design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Logic circuits,، Logic design

رده :
TK
7868
.
L6
M68

204. A theory of formal deducibility

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
1
.
N87
no
.
6

205. A theory of heuristic information in game-tree search

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Artificial intelligence,، Game theory,، Logic, Symbolic and mathematical

رده :
Q
335
.
T99
1988

206. A theory of heuristic information in game-tree search

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : ARTIFICIAL INTELLIGENCE , GAME THEORY , LOGIC,SYMBOLIC & MATHEMATICAL

رده :
Q
335
.
T99

207. A theory of sets

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Aggregates,، Logic, Symbolic and mathematical

رده :
QA
3
.
P8
no
.
18

208. A theory of sets

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : AGGREGATES , LOGIC,SYMBOLIC & MATHEMATICAL

رده :
QA
248
.
M62

209. A theory of sets

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Set theory,Logic, symbolic and mathematical

رده :
511
.
3
Mo-T

210. A theory of sets

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Aggregates,، Logic, Symbolic and mathematical

رده :
QA
3
.
P8
v
.
18

211. A tight, practical integration of relations and functions

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic programming,، Functional programming )Computer science(,، Relational databases

رده :
QA
76
.
L28
Vol
.
1712

212. #A tour through mathematical logic

پدیدآورنده :

موضوع : Logic, Symbolic and mathematical ،Algebra, Abstract

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

213. A tour through mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract

رده :
QA
9
.
W65T6

214. A tour through mathematical logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra, Abstract,Logic, Symbolic and mathematical

رده :
QA9
.
W64
2005

215. A treatise on induction and probability

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Logic,، Probabilities

رده :
BC
91
.
W72

216. A treatise on induction and probability /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic.,Probabilities.,Fundamentos E Calculo (Probabilidade),Logic.,PHILOSOPHY / Logic,Probabilidade (Textos Introdutorios),Probabilities.

رده :
BC91

217. A treatise on many-valued logics

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه شهركرد (چهار محال و بختیاری)

موضوع : Many-valued logic

218. A treatise on many-valued logics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Many-valued logic

رده :
QA
9
.
45
.
G67
2001

219. A tribute to Prof. Dr. Da Ruan

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computational intelligence.,Fuzzy logic.,Ruan, Da.

رده :
QA9
.
64
J545
2013

220. A unifying field in logics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.

رده :
BC135
.
S5177
2003