241. A systems analysis of the logic of research and information processes: reasoning patterns in organic chemistry
Author: Kunz, Werner, 2291-
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Chemistry, Organic- Research,، Research
Classification :
QD
256
.
K9


242. A teaching companion to Lemmon's Beginning logic /
Author: George F. Schumm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Predicate calculus.,Propositional calculus.,Predicate calculus.,Propositional calculus.
Classification :
QA9
.
3
.
L45


243. A text-book of logic
Author: / by Arthur Ernest Davies,Davies
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Arabic imprin%
Classification :
BC
108
.
D25


244. A tightrope walk between two spheres of logic :
Author: Rosenbrock, Rolf
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:

245. #A tour through mathematical logic
پدیدآورنده : Wolf, Robert S.
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
246. A tour through mathematical logic
Author: Wolf, Robert S.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algebra, Abstract
Classification :
QA
9
.
W65T6


247. A tour through mathematical logic /
Author: Robert S. Wolf
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Abstract,Logic, Symbolic and mathematical
Classification :
QA9
.
W64
2005


248. A 25-year perspective on logic programming :
Author: [edited by]& Agostino Dovier, Enrico Pontelli
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:

249. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
Author: Agostino Dovier, Enrico Pontelli )Eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
Classification :
QA
76
.
63
.
A14
2010


250. COURSE IN MATHEMATICAL LOGIC ( anbari )
Author: M. MACHOVER
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject:
Classification :
511
,.
5
,
BEC

251. ALS/AS logic data book
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Handbooks, manuals, etc ، Logic circuits,Handbooks, manuals, etc ، Digital electronics,Handbooks, manuals, etc ، Diodes, Schottky barrier
Classification :
TK
7868
.
L6
.
A36
1986


252. ALS/AS logic databook
Author: /charles E.sporck,National Semiconductor Corporation
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject:

254. INTRODUCTION TO LOGIC OF THE SCIENCES
Author:
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject:
Classification :
Q
,
175
,
H
,
I
,
37


255. AN INTRODUCTION TO SYMBOLIC LOGIC
Author: Langer, Susanne K.)Susanne Katherian )Knauth( 5981 -
Library: Library of Mofid University (Qom)
Subject:
Classification :
BC
135
.
L3
A5
1953


256. AN INTRODUCTORY LOGIC
Author:
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject:
Classification :
160

257. AN Introduction to non - Classical Logic
Author: Priest , Graham
Library: Library of Mofid University (Qom)
Subject:
Classification :
QA
9
.
P7
I5
2001


258. #APPLICATION OF FUZZY LOGIC IN RESERVOIR CHARACTERIZATION
Author: #محمد مجرب
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject:

259. Abhari on the Logic of Conjunctive Terms
Author: \ Paul Thom
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject:

260. Abstract algebraic logic : an introductory textbook
Author: Font, Josep Maria, 4591-
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Algebraic logic
Classification :
QA
10
.
F6
2016

