प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
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
-
11सम्मेलन की कार्यवाही पुस्तकप्रकाशित 1994
-
12
-
13
-
14
-
15
-
16
-
17
-
18सम्मेलन की कार्यवाही पुस्तकप्रकाशित 1988
-
19
-
20