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
پدیدآورنده: #محمد مجرب
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع:
258. Abhari on the Logic of Conjunctive Terms
پدیدآورنده: \ Paul Thom
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
259. Abstract algebraic logic : an introductory textbook
پدیدآورنده: Font, Josep Maria, 4591-
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Algebraic logic
رده :
QA
10
.
F6
2016
