21. A MODERN INTRODUCTION TO LOGIC
پدیدآورنده : Stebbing, L.S.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
135
.
S7
M6
1961
22. A MODERN INTROUCTION TO LOGIC
پدیدآورنده : Stebbing, L. S. ) L. Susan (
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
108
.
S7
M6
1961
23. <A> Manual of Intensional Logic
پدیدآورنده : \ Johan van Benthem
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic,منطق
رده :
E-Book
,
24. <A> Mathematical Introduction to Logic
پدیدآورنده : \ Herbert B. Enderton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
25. A Modern introduction to logic
پدیدآورنده : Stebbing, Lizzie Susan, 5881-3491
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Logic
رده :
Q
175
.
S75
1945
26. A NEW INTRODUCTION TO MORAL LOGIC
پدیدآورنده : Hughes, G.E
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
199
.
M6
H8
1996
27. A Never Ending Story-Mathematics, Computer Science and Logic
پدیدآورنده : / Peter Paule
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
28. A Novel Method of Developing Frequency Encoded Different Optical Logic Processors Using Semiconductor Optical Amplifier
پدیدآورنده : Sisir Kumar
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
TN722
.
3
S575
9999
29. A Practical Approach using CoDeSys-Programmable Logic Controllers
پدیدآورنده : / Hanssen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC|ENGINEERING, MECHANICAL& CONTROL SYSTEMS|ENGINEERING, ELECTRICAL &AUTOMATION
رده :
E-BOOK
30. A Practical Introduction to Fuzzy Logic using LISP
پدیدآورنده : / elles MendezیLuis Arg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : CONTROL SYSTEMS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
رده :
E-BOOK
31. A Practical introduction to the new logic symbols
پدیدآورنده : / lan Kampel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : LOgic circuits - Notation
رده :
TK7866
.
K3
1985
32. A Practical introduction to the new logic symbols
پدیدآورنده : / Ian Kampel
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Electronics-Charts,diagrams,etc,Signs and symbols
رده :
TK7866
.
K3P7
1986
33. A Precis of Mathematical Logic
پدیدآورنده : by J.M. Bocheński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
34. A Precis of Mathhematical Logic
پدیدآورنده : by J.M.Boshenski, transl. Otto Bird
موضوع : Knowledge,Philosophy of Science,Mathematics
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
35. A Short Introduction= Short Introduction> to Intuitionistic Logic>
پدیدآورنده : /Grigori Mints
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع :
36. A Short introduction to modal logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
30
37. A Survey of symbolic logic
پدیدآورنده : / by C. I. Lewis
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Logic, symbplical and mathematical
رده :
BC135
.
L4
38. A Theory of Textuality: The Logic and Epistemology
پدیدآورنده : Gracia, Jorge J.E.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
B
105
.
M4
G7
1995
39. A 25-Year perspective on logic programming
پدیدآورنده : / Agostino Dovier, Enrico Pontelli (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Italian Association for Logic Programming,Logic programming
رده :
QA76
.
63
.
T84
2010
40. A beginner's guide to Programming logic and design
پدیدآورنده : Farrell, Joyce.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37