प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
Logic, Symbolic and mathematical
264
Congresses
45
Mathematics
36
Philosophy
26
Computer science
16
Automatic theorem proving
15
Set theory
15
Artificial intelligence
9
Methodology
9
Probabilities
9
Electronic data processing
8
Reasoning
8
Science
8
Computer programming
7
Logic
7
Expert systems (Computer science)
4
Logic programming
4
Thought and thinking
4
Algebra
3
Algebra, Boolean
3
Computable functions
3
Computational complexity
3
Computers
3
Data processing
3
Electronic digital computers
3
Nonclassical mathematical logic
3
Programmed instruction
3
Programming languages (Electronic computers)
3
Recursive functions
3
Semantics
3
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10पुस्तकद्वारा García Bacca, Juan David, 1901-विषय: “…Logic, Symbolic and mathematical.…”
प्रकाशित 1934
-
11
-
12
-
13
-
14पुस्तकद्वारा Rybak, John S. (John Sydney)विषय: “…Logic, Symbolic and mathematical.…”
प्रकाशित 1983
-
15पुस्तकद्वारा Rybak, John S. (John Sydney)विषय: “…Logic, Symbolic and mathematical.…”
प्रकाशित 1973
-
16
-
17
-
18
-
19
-
20पुस्तकद्वारा Goodstein, R. L. (Reuben Louis)विषय: “…Logic, Symbolic and mathematical.…”
प्रकाशित 1971