221. A study of Hegel's logic

پدیدآورنده:

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

موضوع: Hegel,George Wilhelm Friedrich,1770-1831,Logic, Modern

222. A summary of scientific method /

پدیدآورنده:

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

موضوع: Logic, Symbolic and mathematical,Science-- Methodology

223. A survey of symbolic logic

پدیدآورنده:

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

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

رده :
BC
135
.
L4
1960

224. A survey of symbolic logic

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

موضوع: Logic, Symbolic and mathematical

رده :
164
Le-S

225. A survey of symbolic logic

پدیدآورنده :

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

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

226. A system of Indian logic: The nyaya theory of inference, analysis , text , translation and interpretation of the anumana section of karikavali , muktavali and dinakari

پدیدآورنده:

کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)

موضوع: ، Logic - India,، Knowledge, Theory of

رده :
BC
39
.
5
.
V37

227. A system of logic, ratiocinative and inductive

پدیدآورنده:

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

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

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

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

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

رده :
#
BC
،#.
M54

229. 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

230. A systematic approach to digital logic design

پدیدآورنده:

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

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

رده :
TK
7868
.
L6
M68

231. A theory of formal deducibility

پدیدآورنده:

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

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

رده :
QA
1
.
N87
no
.
6

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

پدیدآورنده:

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

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

رده :
Q
335
.
T99
1988

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

پدیدآورنده:

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

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

رده :
Q
335
.
T99

234. A theory of sets

پدیدآورنده:

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

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

رده :
QA
3
.
P8
no
.
18

235. A theory of sets

پدیدآورنده:

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

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

رده :
QA
248
.
M62

236. A theory of sets

پدیدآورنده:

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

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

رده :
511
.
3
Mo-T

237. A theory of sets

پدیدآورنده:

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

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

رده :
QA
3
.
P8
v
.
18

238. A tight, practical integration of relations and functions

پدیدآورنده:

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

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

رده :
QA
76
.
L28
Vol
.
1712

239. #A tour through mathematical logic

پدیدآورنده :

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

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

240. A tour through mathematical logic

پدیدآورنده:

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

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

رده :
QA
9
.
W65T6