201. A system of logic, ratiocinative and inductive;being a connected view of the principles of evidence, and the methods of scientific investigation.

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
BC
91
.
M5
A8
2002

202. A systematic approach to digital logic design

پدیدآورنده :

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

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

رده :
TK
7868
.
L6
M68

203. A systematic approach to digital logic design

پدیدآورنده :

موضوع : ، Sloitching theory

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

204. A systems analysis of the logic of research and information processes: reasoning patterns...

پدیدآورنده :

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

205. A systems analysis of the logic of research and information processes: reasoning patterns in organic chemistry

پدیدآورنده :

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

موضوع : ، Chemistry, Organic- Research,، Research

رده :
QD
256
.
K9

206. A teaching companion to Lemmon's Beginning logic /

پدیدآورنده :

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

موضوع : Predicate calculus.,Propositional calculus.,Predicate calculus.,Propositional calculus.

رده :
QA9
.
3
.
L45

207. A tightrope walk between two spheres of logic :

پدیدآورنده :

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

208. A tour through mathematical logic

پدیدآورنده :

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

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

209. A tour through mathematical logic

پدیدآورنده :

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

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

رده :
QA
9
.
W65T6

210. A tour through mathematical logic /

پدیدآورنده :

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

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

رده :
QA9
.
W64
2005

211. A 25-year perspective on logic programming

پدیدآورنده :

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

212. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع : ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming

رده :
QA
76
.
63
.
A14
2010

213. <A>COURSE IN MATHEMATICAL LOGIC ( anbari )

پدیدآورنده :

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

رده :
511
,.
5
,
BEC

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

215. ALS/AS logic databook

پدیدآورنده :

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

216. <AN> INTRODUCTION TO FLUID LOGIC

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

217. <AN> INTRODUCTION TO LOGIC OF THE SCIENCES

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

رده :
Q
,
175
,
H
,
I
,
37

218. AN INTRODUCTION TO SYMBOLIC LOGIC

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
BC
135
.
L3
A5
1953

219. AN INTRODUCTORY LOGIC

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

رده :
160

220. AN Introduction to non - Classical Logic

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
QA
9
.
P7
I5
2001