121. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده: Nievergelt, Yves, 4591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
122. Fuzzy Databases :
پدیدآورنده: by Frederick E. Petry.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
رده :
QA8
.
9-10
.
3
123. Fuzzy Hardware
پدیدآورنده: edited by Abraham Kandel, Gideon Langholz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.
124. Fuzzy-Logik :
پدیدآورنده: von Gert Böhme.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science -- Mathematics.,Engineering.,Logic, Symbolic and mathematical.
125. Fuzzy Relational Systems
پدیدآورنده: by Radim Bělohlávek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
126. Fuzzy Set Theory-and Its Applications
پدیدآورنده: by H.-J. Zimmermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
127. Fuzzy Sets in Approximate Reasoning and Information Systems
پدیدآورنده: edited by James C. Bezdek, Didier Dubois, Henri Prade.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Data structures (Computer science).,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
128. Generalization of some concepts and problems of complexity theory in structures
پدیدآورنده: by: Farzad Didehvar,^ADidehvar, Farzad
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Logic, Symbolic and mathematical,Computational complexity,Computer science -- Mathematics
129. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
130. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
131. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
132. Granular Computing
پدیدآورنده: by Andrzej Bargiela, Witold Pedrycz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
133. Groups, languages, algorithms : AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland
پدیدآورنده: Alexandre V. Borovik, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Group theory,Congresses ، Finite groups,Congresses ، Infinite groups
رده :
QA
174
.
A418
2003
134. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده: Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
135. Information, Uncertainty and Fusion
پدیدآورنده: edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Information storage and retrieval systems.,Logic, Symbolic and mathematical.,Mathematics.,Microeconomics.
136. Intelligent computer mathematics
پدیدآورنده: / Serge Autexier ... [et al] (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
155
.
7
,.
E4
,
A35
,
2010
137. Introduction to formal philosophy /
پدیدآورنده: Sven Ove Hansson, Vincent F. Hendricks, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
رده :
B808
.
5
.
I58
2018
138. Iteration Theories :
پدیدآورنده: by Stephen L. Bloom, Zoltán Ésik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
B978
1993
139. Iteration theories
پدیدآورنده: Stephen L. Bloom, Zoltخ n اsik
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
,
I56
1993
140. Iteration theories
پدیدآورنده: Stephen L. Bloom, Zoltخ n اsik
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
,
I56
1993
