41. Logic and algorithms
Author: Korfhage, Robert R
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Logic, Symbolic and mathematical►Algorithms
Classification :
9
.
K678
42. Logic and algorithms with applications to the computer and information sciences
پدیدآورنده : Korfhage, Robert R
موضوع : ، Logic, symbolic and mathematical,، Algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
43. Logic and algorithms; with applications to the computer and information sciences
Author: / Robert R. Korfhage
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical,Algorithms
Classification :
511
.
3
K84
44. Logic of Computation
Author: edited by Helmut Schwichtenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
45. Logical Foundations of Cyber-Physical Systems /
Author: by André Platzer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.,Artificial intelligence.,Automatic control.,Computer science.,Industrial safety.,Logic, Symbolic and mathematical.,Mechatronics.,Quality control.,Reliability.,Robotics.
Classification :
QA8
.
9-QA10
.
3
46. Mathematical Foundations of Computer Science 1975 :
Author: by J. Becvar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
Classification :
QA267
.
5
.
S4
B953
1975
47. Mathematical logic
Author: / Yu L. Ershove, E. A. Palyutin
Library: Library of Economics (Tehran)
Subject: Logic, Symbolic and mathematical,Algorithms
Classification :
BC
135
.
M36
1984
48. Mathematical logic :
Author: Roman Kossak
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Algorithms & data structures.,Applied mathematics.,Computers-- Logic Design.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematics-- Applied.,Mathematics-- History & Philosophy.,Mathematics-- Logic.,Mathematics-- Philosophy.,Philosophy-- Logic.,Philosophy of mathematics.,Philosophy: logic.
Classification :
QA9
.
K67
2018
49. Mathematical logic, the theory of algorithms, and the theory of sets
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algorithms,، Set theory
Classification :
QA
1
.
A413
no
.
133
50. Mathematical logic, the theory of algorithms and the theory of sets : dedicated to Academician Petr sergeevic Novikov on his seventieth birthday
Author: edited by S. I. Adjan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Algorithms,Addresses, essays, lectures ، Set theory
Classification :
QA
1
.
P736
Vol
.
133
51. Mathematics of Ramsey Theory
Author: edited by Jaroslav Nešetřil, Vojtěch Rödl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis.,Logic, Symbolic and mathematical.,Mathematics.
52. Pacific Symposium on Biocomputing 2004 :
Author: edited by Russ B. Altman [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
Classification :
QH323
.
5
.
P33
2004eb
53. Practical Applications of Computational Intelligence Techniques
Author: edited by Lakhmi Jain, Philippe Wilde.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
54. Proceedings of the International Conference on Artificial Neural Networks :
Author: ICANN '93. Ed. by Stan Gielen ...
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
55. Proofs and Algorithms
Author: / Gilles Dowek
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Computer logic,Proof theory,Algorithms
Classification :
QA
9
.
D68
2011
56. Proofs and Algorithms : Introduction to Logic and Computability Theory
Author: Gilles Dowek
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer logic,، Logic, Symbolic and mathematical,، Proof theory,، Algorithms
Classification :
QA
76
.
9
.
L36D68
57. Proofs and algorithm
Author: / Gilles Dowek
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Algorithms.
Classification :
QA9
,.
D68
,
2011
58. Proofs and algorithms
Author: Gilles Dowek
Library: Library and Information Center of Ayatollah Imani of Salman Farsi University (Fars)
Subject: Logic, Symbolic and mathematical,Algorithms
Classification :
QA
9
.
D66P7
2011
59. Proofs and algorithms
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic, Symbolic and mathematical. ; Algorithms. ;
60. Proofs and algorithms an introduction to logic and computability
Author: / Gilles Dowek
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Logic, Symbolic and mathematical,Algorithms
Classification :
QA76
.
P7D6
2011
