کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتاب<A> course in model theory:an introduction to contemporary mathematical logic
پدیدآورنده : Bruno Poizat
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Model theory
رده :
QA
9
.
7
.
P67
2000
A course in model theory : an introduction to contemporary mathematical logic
پدیدآورنده : Poizat, Bruno
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
P63
A course in model theory: an introduction to contemporary mathematical logic
پدیدآورنده : Poizat, Bruno
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
P65
2000
<A> course in model theory:an introduction to contemporary mathematical logic
پدیدآورنده : Bruno Poizat
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Model theory
رده :
QA
9
.
7
.
P67
2000
A first course in logic :an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده : Hedman, Shawn.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic,، Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004
A first course in logic : an introduction to model theory, proof theory, computability, and complexity
پدیدآورنده : Hedman, Shawn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic,، Logic, Symbolic and mathematical
رده :
QA
9
.
H43F5
<AN> INTRODUCTION TO LOGIC OF THE SCIENCES
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
Q
,
175
,
H
,
I
,
37
AN INTRODUCTION TO SYMBOLIC LOGIC
پدیدآورنده : Langer, Susanne K.)Susanne Katherian )Knauth( 5981 -
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
135
.
L3
A5
1953
AN Introduction to non - Classical Logic
پدیدآورنده : Priest , Graham
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
QA
9
.
P7
I5
2001
An> Introduction To Many - Valued And Fuzzy Logic Semantics, Algebras, And Derivation Systems>
پدیدآورنده : / Merrie Bergmann
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : منطق فازی,منطق چند ارزشی, Fuzzy logic., Many-valued logic.
رده :
QA9
.
64
.
B4I6
An Introduction to Default Logic
پدیدآورنده : by Philippe Besnard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q335
.
B974
1989
<An> Introduction to Default Logic
پدیدآورنده : Philippe Besnard
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Artificial Intelligence,Logic programming,Logic
رده :
Q
،
335
،.
B49
،
1989
<An> Introduction to Hilbert Space and Quantum Logic
پدیدآورنده : David W. Cohen
موضوع : Hilbert Space,Quantum Theory,Logic, Symbolic and Mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
An Introduction to Hilbert space and guantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
An Introduction to Hilbert space and quantum logic
پدیدآورنده : / David W. Cohen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Hilbert space,Quantum theory,Logic, Symbolic and mathematical
رده :
QA322
.
4
.
C64
1989
An Introduction to Logic and Scientific Method
پدیدآورنده : /by Morris R.Cohen and Ernest Nagel.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق,روششناسی
رده :
BC
۱۰۸
/
ژ
۲
الف
۹ ۱۳۱۸
An Introduction to Philosophical Logic
پدیدآورنده : Grayling, A.C
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
71
.
G7
I5
1997
An Introduction to Practical Formal Methods Using Temporal Logic
پدیدآورنده : / Fisher
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC&ENGINEERING, ELECTRICAL
رده :
E-BOOK
An Introduction to fuzzy logic applications in intelligent systems
پدیدآورنده : / edited by Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Fuzzy sets.,Fuzzy systems.,Intelligent control systems
رده :
QA
248
.
I568
1992
An Introduction to logic and scientific method
پدیدآورنده : / by Morris R. Cohen and Ernest Nagel,Cohen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Arabic imprin%,Methodology
رده :
BC
108
.
C67
An Introduction to logic and scientific method
پدیدآورنده : Cohen, Morris R. )Morris Raphael(
کتابخانه: کتابخانه مرکزی فرهنگستان زبان و ادب فارسی (تهران)
موضوع : ، Logic,، Methodology
رده :
BC
108
.
C6
1978
<An> Introduction to probability and inductive logic
پدیدآورنده : Ian Hacking
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع : Logic,Induction )Logic(,Probabilities
رده :
160
H121I
<An> Introduction to probability and inductive logic
پدیدآورنده : Ian Hacking
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : probabilities
رده :
BC
141
.
H33
,
P8
2001
<An> Introduction to the logic of marxism
پدیدآورنده : George Novack
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع : Logic,Logic of marxism
رده :
160
N935I
An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, Donald W.
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Hilbert space , Quantum theory , Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
An introduction to Hilbert space and quantum logic
پدیدآورنده : David W. Cohen.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Hilbert space,Quantum logic
رده :
QA
322
.
4
.
C64
1989
An introduction to computer logic
پدیدآورنده : Nagle, H. Troy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic circuits,، Electronic digital computers - Circuits
رده :
TK
7888
.
4
.
N33
1975
An introduction to computer logic
پدیدآورنده : (by) H. Troy Nagle, Jr., B. D. Carroll (and) J. David Irwin
موضوع : Logic circuits,Electronic digital computers - Circuits
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
An introduction to computer logic
پدیدآورنده : / [by] H. Troy Nagle, Jr., B. D. Carroll [and] J. David Irwin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic circuits,Electronic digital computers- Circuits
رده :
TK7888
.
4
.
N33
An introduction to computer logic
پدیدآورنده : / H. Troy Nagle, B. D. Carroll, J. David Irwin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic circuits,Electronic digital computers - Circuits
رده :
621
.
38195
82
N149i
An introduction to decision logic tables
پدیدآورنده : MCDANIEL,HERMAN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : DECISION LOGIC TABLES , FLOW CHARTS
رده :
T
57
.
4
.
M3
An introduction to decision logic tables
پدیدآورنده : McDaniel, Herman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Decision logic tables,، Flow chart
رده :
T
57
.
4
.
M3
An introduction to decision logic tables
پدیدآورنده : McDaniel, Herman.
موضوع : ، Decision logic tables,، Flow charts
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
<An> introduction to deductive logic
پدیدآورنده : / Hugues Leblanc
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
رده :
BC71
.
L4
An introduction to default logic
پدیدآورنده : Besnard, Philippe
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Artificial intelligence,، Logic programming,، Logic
رده :
Q
335
.
B49
1989
An introduction to description logic
پدیدآورنده : Franz Baader...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Description logics,، Knowledge representation )Information theory(,، Conceptual structures )Information theory(
رده :
Q
387
.
3
.
I57
An introduction to digital electronics and logic
پدیدآورنده : Joynson, R. H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Digital electronics,Logic design
رده :
TK
7868
.
D5
J69
1981
An introduction to digital electronics and logic
پدیدآورنده : Joynson, R. H
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Digital electronics,، Logic design
رده :
TK
7868
.
D5
J69
1981
An introduction to digital logic
پدیدآورنده : Potton, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic circuits,، Digital electronics
رده :
TK
7868
.
L6
.
P68
An introduction to digital logic
پدیدآورنده : Potton, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Logic circuits,، Digital electronics
رده :
TK
7868
.
L6
P68
An introduction to digital logic
پدیدآورنده : POTTON,ALN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : LOGIC CIRCUITS , DIGITAL ELECTRONICS
رده :
TK
7868
.
L6
P68
1973
An introduction to digital logic
پدیدآورنده : / A. Potton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic circuits,Digital electronics
رده :
621
.
381537
P871
An introduction to digital logic
پدیدآورنده : Potton, Alan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic circuits,، Digital electronics
رده :
TK
7868
.
L6P68
An introduction to digital techniques: logic gates, flip-flops, counters and shift registers
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Digital electronics
رده :
TK
7868
.
D5
I57
1984
An introduction to fluid logic
پدیدآورنده : MORRIS,N M
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : FLUIDIC DEVICES
رده :
TJ
840
.
M67
An introduction to fluid logic
پدیدآورنده : Morris, N M
موضوع : ، Fluid amplifiers,، Fluid devices
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
An introduction to fluid logic
پدیدآورنده : Morris, Noel Malcolm
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Fluidic devices
رده :
TJ
853
.
M67
1973
An introduction to formal logic
پدیدآورنده : Smith, Peter 4491-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
BC
71
.
S6
I5
2003
An introduction to formal logic
پدیدآورنده : Smith, Peter, 4491-
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Logic
رده :
BC
71
.
S6F6
An Introduction to formal logic
پدیدآورنده : Peter Smith
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع : Logic
An introduction to formal logic
پدیدآورنده : Smith, Peter
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic
رده :
BC
71
.
S62
2003
An introduction to formal logic /
پدیدآورنده : Peter Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.
An introduction to formal logic
پدیدآورنده : / Peter Smith,Smith, Peter,
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : Logic.
رده :
BC71
.
S6I6
2003
An introduction to formal logic
پدیدآورنده : Smith, Peter
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic
رده :
BC
71
.
S62
An introduction to foundational logic /
پدیدآورنده : D.Q. McInerny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.,Logic.
رده :
BC108
.
M38
2012
An introduction to fussy logic applications
پدیدآورنده : / by John Harris
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intelligent control systems,Fuzzy systems,Logic, Symbolic and mathematical
رده :
TJ217
.
5
.
H39
2010
<An> introduction to fuzzy logic and fuzzy sets
پدیدآورنده : / James J. Buckley, Esfandiar Eslami
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Soft computing.,Fuzzy logic.,Fuzzy sets.
رده :
QA76
.
9
.
S63
,
B82
2002
An introduction to fuzzy logic and fuzzy sets
پدیدآورنده : Buckley, James J.,6391-,James J. Buckley, Esfandiar Eslami
موضوع : ، Soft computing,، Fuzzy logic,، Fuzzy sets
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
An introduction to fuzzy logic and fuzzy sets
پدیدآورنده : Buckley, James J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Soft computing,، Fuzzy logic,، Fuzzy sets
رده :
QA
76
.
9
.
S63
B82
2002
An introduction to fuzzy logic and fuzzy sets
پدیدآورنده : / James J. Buckley, Esfandiar Eslami
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Soft computing,Fuzzy logic,Fuzzy sets
رده :
QA76
.
9
.
S63
,
B82
2002
An introduction to fuzzy logic applications
پدیدآورنده : / by John Harris
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Intelligent control systems,Fuzzy systems,Logic, Symbolic and mathematical
رده :
TJ217
.
5
H39
2000
An introduction to fuzzy logic for practical applications
پدیدآورنده : Tanaka, Kazuo.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Fuzzy logic
رده :
QA
9
.
64
.
T36
1997
An introduction to fuzzy logic for practical applications
پدیدآورنده : Tanaka, Kazuo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Fuzzy logic
رده :
QA
9
.
64
.
T36
1997
An introduction to logic
پدیدآورنده : by Morris R. Cohen & Ernest Nagel
موضوع : Logic,Methodology
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
An introduction to logic
پدیدآورنده : Joseph, Horace William Brindley
موضوع : ، Logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
An introduction to logic
پدیدآورنده : / by Morris R. Cohen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic,Methodology
رده :
BC108
.
C67
1962
An introduction to logic
پدیدآورنده : Joseph, Horace William Brindley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic
رده :
BC
71
.
J7
1916
An introduction to logic
پدیدآورنده : Cohen, Morris Raphael, 0881-7491
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Logic
رده :
BC
108
.
C6I5
An introduction to logic
پدیدآورنده : Cohen, Morris Raphael, 1880-1947
کتابخانه: كتابخانه مركزی كانون اسلامی انصار (تهران)
موضوع :
رده :
160
I
678
C
1962
An introduction to logic
پدیدآورنده : / by Morris R. Cohen and Ernest Nagel,Cohen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Arabic imprin%,Methodology
رده :
BC
108
.
C67
1966
An introduction to logic
پدیدآورنده : by Jacques Maritain
موضوع : Logic
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
An introduction to logic
پدیدآورنده : / by H. W. B. Joseph,Joseph
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Arabic imprin%
رده :
BC
71
.
J7
1916
An introduction to logic
پدیدآورنده : / David Mitchell.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع :
An introduction to logic and scientific method
پدیدآورنده : By Morris R. Cohen and Ernest Nagel
موضوع : Logic,Methodology
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
An introduction to logic and scientific Method
پدیدآورنده : / by Morris R. cohen, Ernest Negel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic,Methodology
رده :
160
Co-I
An introduction to logic and scientific method
پدیدآورنده : Cohen, Morris Raphael, 0881-7491
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Logic
رده :
BC
108
.
C6I5
An introduction to logic and scientific method
پدیدآورنده : Cohen, Morris Raphael, 0881-7491
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Logic,، Methodology,Study and teaching ، Logic
رده :
BC
108
.
C6I5
1978
An introduction to logic and scientific method
پدیدآورنده : / by Morris R. Cohen and Ernest Nagel. complete ed
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Logic,Science - Methodology
رده :
BC108
.
C67
An introduction to logic and scientific method
پدیدآورنده : Cohen, Morris Raphael, 0881-7491
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic,، Methodology
رده :
BC
108
.
C64I5
An introduction to logic and scientific method
پدیدآورنده : Cohen, Morris Raphael
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic,، Methodology
رده :
BC
108
.
C67
An introduction to logic and scientific method
پدیدآورنده : Cohen, Morris Raphael
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic,، Methodology
رده :
BC
108
.
C67
An introduction to logic and scientific method
پدیدآورنده : Cohen, Morris Raphael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic,Methodology
رده :
BC
108
.
C67
An introduction to logic and scientific method
پدیدآورنده : by Morris R. Cohen and Ernest Nagel,Title
کتابخانه: کتابخانه و مرکز اسناد پژوهشگاه فرهنگ، هنر و ارتباطات (تهران)
موضوع : Logic,Methodology,Logic- Study and teaching
رده :
BC
.
C67
108
1934
An introduction to logic and scientific method
پدیدآورنده : Cohen, Morris Raphael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic,Methodology
رده :
BC
108
.
C67
1968
An introduction to logic and scientific method
پدیدآورنده : / by Morris R. Cohen and Ernest Nagel. Abridged ed
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Logic,Science - Methodology
رده :
BC108
.
C66
<An> introduction to logic and scientific method
پدیدآورنده : / by Morris R. Cohen and Ernest Nagel
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : منطق,Logic,Methodology
رده :
BC108
.
C67
An introduction to logic,by Morris R. Cohen & Ernest Nagel
پدیدآورنده :
کتابخانه: کتابخانه موسسه باستان شناسی دانشگاه تهران (تهران)
موضوع : Logic.,Methodology.
رده :
BC
108
.
C6
I7
An introduction to logic circuit testing /
پدیدآورنده : Parag K. Lala
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Digital electronics-- Testing,Electric fault location,Integrated circuits-- Very large scale integration-- Testing,Logic circuits-- Testing
An introduction to logic of marxism
پدیدآورنده : Novack, George Edward
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Dialectical materialism,، Logic
رده :
B
809
.
8
.
N58
1971
An introduction to logic programming through Prolog /
پدیدآورنده : Michael Spivey
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
رده :
QA76
.
63
.
S64
1996
An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems
پدیدآورنده : Bergmann, Merrie.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Fuzzy logic,، Many-valued logic
رده :
QA
9
.
64
.
B47
2008
An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems
پدیدآورنده : Bergmann, Merrie.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Fuzzy logic,، Many-valued logic
رده :
QA
9
.
64
.
B47
2008
An introduction to mathematical logic
پدیدآورنده : ROBINSON,GERSON B
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
9
.
R72
An introduction to mathematical logic
پدیدآورنده : Richard E. Hodel,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Logic, Symbolic and mathematical
رده :
QA
.
H547
9
1995