121. <A> first course in fuzzy logic
المؤلف: Hung T.Nguyen Elbert A Walker
المکتبة: (کرمان)
موضوع: Neural networks)Computer sciences(,Fuzzy logic
رده :
QA
76
.
87
.
N497
1999
122. 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
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 Hedman
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic.,Logic, Symbolic and mathematical.
رده :
QA9
,.
H36
,
2004
125. A first course in logic
المؤلف: / Shawn Shawn
المکتبة: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع: Logic,symbolic and mathematical
رده :
511
.
3
H452f
126. 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
127. A first course in logic
المؤلف: Shawn Hedman,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Logic,Logic -- Symbolic and mathematical
رده :
QA
.
H36
9
2004
128. A first course in logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Problems, exercises, etc. ; Logic. ;
129. A first course in logic
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic. ; Logic, Symbolic and mathematical. ;
130. A first course in logic
المؤلف: / Shawn Hedman
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: 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
رده :
QA9
.
H36
2004
132. 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
133. A first course in mathematical logic and set theory /
المؤلف: Michael L. O'Leary
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics,Set theory
رده :
QA9
134. A first course in modern logic
المؤلف: / /By/Edith Watson Schipper and Edward Schuh,Schipper
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical
رده :
BC135
.
S33
135. 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
136. A formalization of set theory without variables
المؤلف: Tarski, Alfred.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
137. A formalization of set theory without variables
المؤلف: Tarski, Alfred
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
138. A formalization of set theory without variables
المؤلف: TARSKI,ALFRED
المکتبة: (طهران)
موضوع: SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
T37
139. A formalization of set theory without variables
المؤلف: Tarski, Alfred
المکتبة: (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
140. A formalization of set theory without variables /
المؤلف: by Alfred Tarski and Steven Givant.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
