Matèries dins de la cerca
Matèries dins de la cerca
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
-
11Actes de congresos LlibrePublicat 1994
-
12
-
13
-
14
-
15
-
16
-
17
-
18Actes de congresos LlibrePublicat 1988
-
19
-
20