241. A teaching companion to Lemmon's Beginning logic /
المؤلف: George F. Schumm.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Predicate calculus.,Propositional calculus.,Predicate calculus.,Propositional calculus.
رده :
QA9
.
3
.
L45
242. A text-book of logic
المؤلف: / by Arthur Ernest Davies,Davies
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Arabic imprin%
رده :
BC
108
.
D25
243. A tightrope walk between two spheres of logic :
المؤلف: Rosenbrock, Rolf
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
244. #A tour through mathematical logic
پدیدآورنده : Wolf, Robert S.
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Abstract
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
245. A tour through mathematical logic
المؤلف: Wolf, Robert S.
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Abstract
رده :
QA
9
.
W65T6
246. A tour through mathematical logic /
المؤلف: Robert S. Wolf
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Abstract,Logic, Symbolic and mathematical
رده :
QA9
.
W64
2005
247. A 25-year perspective on logic programming :
المؤلف: [edited by]& Agostino Dovier, Enrico Pontelli
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع:
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. COURSE IN MATHEMATICAL LOGIC ( anbari )
المؤلف: M. MACHOVER
المکتبة: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
511
,.
5
,
BEC
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. ALS/AS logic databook
المؤلف: /charles E.sporck,National Semiconductor Corporation
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع:
253. INTRODUCTION TO LOGIC OF THE SCIENCES
المؤلف:
المکتبة: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
Q
,
175
,
H
,
I
,
37
254. AN INTRODUCTION TO SYMBOLIC LOGIC
المؤلف: Langer, Susanne K.)Susanne Katherian )Knauth( 5981 -
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
BC
135
.
L3
A5
1953
255. AN INTRODUCTORY LOGIC
المؤلف:
المکتبة: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع:
رده :
160
256. AN Introduction to non - Classical Logic
المؤلف: Priest , Graham
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
QA
9
.
P7
I5
2001
257. #APPLICATION OF FUZZY LOGIC IN RESERVOIR CHARACTERIZATION
المؤلف: #محمد مجرب
المکتبة: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع:
259. Abstract algebraic logic : an introductory textbook
المؤلف: Font, Josep Maria, 4591-
المکتبة: (طهران)
موضوع: ، Algebraic logic
رده :
QA
10
.
F6
2016
