141. A first course in fuzzy logic, fuzzy dynamical systems, and biomathematics
پدیدآورنده: / Laecio Carvalho de Barros, Rodney Carlos Bassanezi, Weldon Alexander Lodwick, Barros, Laecio Carvalho
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Fuzzy logic.,Fuzzy sets.
رده :
QA76
.
B4F5
2017


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


143. A first course in logic
پدیدآورنده: / Shawn Hedman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic.,Logic, Symbolic and mathematical.
رده :
QA9
,.
H36
,
2004


144. A first course in logic
پدیدآورنده: / Shawn Shawn
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Logic,symbolic and mathematical
رده :
511
.
3
H452f


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


146. A first course in logic :
پدیدآورنده: Shawn Hedman,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Logic,Logic -- Symbolic and mathematical
رده :
QA
.
H36
9
2004


147. A first course in logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Problems, exercises, etc. ; Logic. ;

148. A first course in logic
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic. ; Logic, Symbolic and mathematical. ;

149. A first course in logic
پدیدآورنده: / Shawn Hedman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic,Logic, Symbolic and mathematical
رده :
QA9
.
H36
2004


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


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


152. A first course in mathematical logic and set theory /
پدیدآورنده: Michael L. O'Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9


153. A first course in modern logic
پدیدآورنده: / /By/Edith Watson Schipper and Edward Schuh,Schipper
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical
رده :
BC135
.
S33


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


155. A friendly introduotion to mathematical Logic
پدیدآورنده : / Christopher C. Leary
موضوع : منطق کامپیوتری,منطق ریاضی
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
156. A friendly introduction to mathematical logic
پدیدآورنده: Leary, Christopher C.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Computer logic,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
L43
2000


157. A friendly introduction to mathematical logic /
پدیدآورنده: Christopher C. Leary
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
L63
L43
2000


158. A guide to programming logic and design: introductory
پدیدآورنده: Farrell, Joyce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer programming,، Structured programming
رده :
QA
76
.
6
.
F37


159. A handbook of logic
پدیدآورنده: Brennan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Arabic imprin%
رده :
BC
108
.
B72
R

