161. A new introduction to modal logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع : Logic - Modality

رده :
BC
,
199
,.
H8
,
1996

162. A new introduction to modal logic

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Modality )Logic(

رده :
BC
199
.
M6H8
1996

163. A philosophical companion to first-order logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : First-order logic

رده :
BC128
.
P55
1993

164. A practical introduction to the new logic symbols

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Logic circuits - Notation

رده :
TK
7868
.
L6
K36
1986

165. <A> practical introduction to the new logic symbols

پدیدآورنده :

موضوع : Logic circuits - Notation

۵ نسخه از این کتاب در ۵ کتابخانه موجود است.

166. A practical introduction to the new logic symbols

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : LOGIC CIRCUITS-NOTATION

رده :
TK
7868
.
L6
K36
1986

167. A practical logic of cognitive systems

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Logic

رده :
BC
71
.
G22P7

168. A pragmatic logic for commands /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Commands (Logic),Pragmatics

رده :
BC199
.
C5
A34
1980

169. A preface to logic.

پدیدآورنده :

موضوع : Logic.

۴ نسخه از این کتاب در ۴ کتابخانه موجود است.

170. A preface to logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Logic

رده :
160
Co-P

171. A primer of Indian logic; according to Annambhatta's tarkasamgraha

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

موضوع : Annambhatta, 17th cent.Tarkasagraha,Nyaga

172. A primer of formal logic

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy

173. A primer of formal logic

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
BC
71
.
C6
A6
1947

174. A primer of logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Logic

رده :
BC
.
B9
108
1973

175. A profile of mathematical logic

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

176. A profile of mathematical logic.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.

رده :
QA9
.
D37

177. A profile of mathematical logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
D37

178. A profile of mathematical logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.

رده :
QA9
.
D37
2004

179. A quick and gentle guide to constraint logic programming via ECLiPSe

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Eclipse (informat.),Eclipse (środowisko programistyczne).,Programowanie logiczne.

180. A resolution principle for a logic with restricted quantifiers

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع : Automatic theorem proving,Logic, Symbolic and mathematical

رده :
QA
,
76
.
9
,.
A96B87