Subject
Automatic theorem proving.
7
theorem proving
5
Automatic theorem proving
2
Logic, Symbolic and mathematical.
2
Automatic theorem proving -- Congresses.
1
Computer programming
1
Computer software
1
Equations
1
Gödel's theorem -- Data processing.
1
LISP (Computer program language)
1
Logic programming.
1
Logic, Symbolic and mathematical
1
Programming languages (Electronic computers) -- Semantics.
1
Proof theory.
1
communication system
1
computer algebra
1
computer arithmetics
1
computer evaluation
1
computer performance
1
database system
1
distributed system
1
expert system
1
hypertext
1
knowledge based system
1
logics
1
modeling
1
natural language
1
neural network (computing)
1
queueing theory
1
reasoning
1
semantics
1
simulation
1
statistics
1