181. Mathematics and the natural sciences :
پدیدآورنده : Francis Bailly, Giuseppe Longo
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biomathematics,Mathematical models,Mathematics-- Philosophy,Physics-- Philosophy,Space and time
182. Mathematics for computer students
پدیدآورنده : Witton, Rex
کتابخانه: (طهران)
موضوع : Computer science - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
W57
1992
183. Mathematics of Ramsey Theory
پدیدآورنده : edited by Jaroslav Nešetřil, Vojtěch Rödl.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.
184. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
پدیدآورنده : Francesca Tarocco.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
185. Non-commutative Multiple-Valued Logic Algebra
پدیدآورنده : / electronic resource
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Algebra,Logic, Symbolic and mathematical,Distribution (Probability theory),Mathematics,Mathematical Logic and Foundations,Order, Lattices, Ordered Algebraic Structures,Probability Theory and Stochastic Processes,Measure and Integration
رده :
E-BOOK
186. PROLOG for Computer Science
پدیدآورنده : by M.S. Dawe, C.M. Dawe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
73
.
P76
B967
1994
187. Philosophical Logic and Artificial Intelligence
پدیدآورنده : edited by Richmond H. Thomason.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1989
188. Philosophical and mathematical logic /
پدیدآورنده : Harrie de Swart.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
رده :
BC131
189. Philosophical and mathematical logic /
پدیدآورنده : Harrie de Swart.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Logic, Symbolic and mathematical.,Logic.
رده :
BC135
.
S93
2018
190. Power Algebras over Semirings
پدیدآورنده : by Jonathan S. Golan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematics.
191. Proceedings
پدیدآورنده : Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
192. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: (طهران)
موضوع : Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
193. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده : Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
194. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
195. Readings in Formal Epistemology :
پدیدآورنده : edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
196. Recursive function theory and logic
پدیدآورنده : Yasuhara, Ann
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
248
.
5
.
Y38
197. Recursive function theory and logic
پدیدآورنده : Yasuhara, Ann.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
248
.
5
.
Y36
198. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
199. Semirings and Affine Equations over Them: Theory and Applications
پدیدآورنده : by Jonathan S. Golan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
