Subject
Logic
Logic, Symbolic and mathematical
Mathematics
10
Computer science
7
Electronic data processing
5
Artificial intelligence
4
Computer logic
4
Formal languages
3
Game theory
3
Philosophy
3
Automatic theorem proving
2
Formal methods (Computer science)
2
Logic design
2
Semantics
2
Uncertainty (Information theory)
2
Analysis (Philosophy)
1
Computer programs
1
Computer science Mathematics
1
Computer security
1
Computer systems
1
Data protection
1
Inference
1
Lattice theory
1
Linguistics Philosophy
1
Logic diagrams
1
Logique symbolique et mathématique
1
Mathematical analysis
1
Opposition, Theory of
1
Predicate (Logic)
1
Probabilities
1
Proposition (Logic)
1
Reasoning
1
Search theory
1
Software engineering
1
Visual reasoning
1
Visualization
1