Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
Logic, Symbolic and mathematical
Congresses
45
Mathematics
34
Philosophy
24
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
5
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
-
11Conference Proceeding KnjigaIzdano 1994
-
12
-
13
-
14
-
15
-
16
-
17
-
18Conference Proceeding KnjigaIzdano 1988
-
19
-
20