automated reasoning

automated reasoning

computer-based mathematical reasoning, including geometric theorem proving, algebraic equation solving, and mathematical theorem proving. It is a subdiscipline of artificial intelligence.

Related Terms

air conduction

air conduction the process of conducting sound waves throug...

descriptive statistics

descriptive statistics procedures for depicting the main as...

preganglionic autonomic neuron

preganglionic autonomic neuron any neuron of the sympatheti...

Army tests

Army tests group intelligence tests for military personnel,...

nativism

nativism n. 1. the doctrine that the mind has c...

reflexology

reflexology n. 1. a school of psychology based...

Quick Info

Category Psychology Term
Definitions 1
First Letter A

Browse by Letter

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z