121. A first course in fuzzy logic
پدیدآورنده : Nguyen, Hung T.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Textbooks ، Neural networks )Computer science(,Textbooks ، Fuzzy logic
رده :
QA
76
.
87
.
N497
2006
122. A first course in fuzzy logic
پدیدآورنده : Nguyen, Hung T., 4491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Neural networks )Computer science(,، Fuzzy logic
رده :
QA
76
.
87
.
N493F5
2019
123. A first course in fuzzy logic, fuzzy dynamical systems, and biomathematics : Theory and applications
پدیدآورنده : Barros, Lacio Carvalho de
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Fuzzy logic
رده :
QA
76
.
9
.
B32
F5
124. A first course in logic
پدیدآورنده : / Shawn Shawn
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Logic,symbolic and mathematical
رده :
511
.
3
H452f
125. A first course in logic /
پدیدآورنده : Mark V. Lawson, Heriot-Watt University, Edinburgh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
رده :
QA9
.
L37256
2018eb
126. A first course in logic
پدیدآورنده : Shawn Hedman,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Logic,Logic -- Symbolic and mathematical
رده :
QA
.
H36
9
2004
127. A first course in logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Problems, exercises, etc. ; Logic. ;
128. A first course in logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic. ; Logic, Symbolic and mathematical. ;
129. A first course in logic
پدیدآورنده : / Shawn Hedman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic,Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004
130. 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
131. 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
132. A first course in mathematical logic and set theory /
پدیدآورنده : Michael L. O'Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9
133. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
134. A friendly introduotion to mathematical Logic
پدیدآورنده : / Christopher C. Leary
موضوع : منطق کامپیوتری,منطق ریاضی
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
135. A friendly introduction to mathematical logic
پدیدآورنده : Leary, Christopher C.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
L43
2000
136. A friendly introduction to mathematical logic /
پدیدآورنده : Christopher C. Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
L63
L43
2000
137. A guide to programming logic and design: introductory
پدیدآورنده : Farrell, Joyce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer programming,، Structured programming
رده :
QA
76
.
6
.
F37
138. A history and interpretation of the logic of Hegel
پدیدآورنده : Giacomo Rinaldi
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Hegel, Georg Wilhelm Friedrich, - 1770-1831. Phanomenologie des geistes,Logic, Modern--19th century.
139. A logic book :
پدیدآورنده : Robert M. Johnson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.
رده :
BC71
.
J48
2007
140. A logic book :
پدیدآورنده : Robert M. Johnson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic.
رده :
BC71
.
J48
2007