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

somatosensory disorder

somatosensory disorder any disorder of sensory information...

double

double n. in psychodrama, an individual, one of the auxilia...

otopalatodigital spectrum disorders

otopalatodigital spectrum disorders a group of related X-li...

occipital cortex

occipital cortex the cerebral cortex of the occipital lobe...

decontextualization

decontextualization n. 1. the process of isolat...

LEQ

LEQ abbreviation for Lifetime of Experiences Questionnaire.

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