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

Panum phenomenon

Panum phenomenon a visual illusion produced by binocular fu...

externalizing–internalizing

externalizing–internalizing a broad classification of child...

cross-dimension attitude consistency

cross-dimension attitude consistency the extent to which th...

miniature end-plate potential

miniature end-plate potential see end plate.

ankylosis

ankylosis n. an immobility and consolidation of a joint, us...

SSW

SSW abbreviation for Staggered Spondaic Word Test.

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