1. A Mathematical Structure for Emergent Computation
پدیدآورنده : by Victor Korotkich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Algorithms.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
2. Mathematical Principles of Fuzzy Logic
پدیدآورنده : by Vilém Novák, Irina Perfilieva, Jiří Močkoř.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematics.
3. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
4. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
5. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
L8
1989
6. Proceedings
پدیدآورنده : Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
