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

chronological age (CA)

Sorry, "chronological-age-ca" is not in the Dictionary of Psychology. Please rep...

intervening variable

intervening variable see mediator.

Nuclear Surety Personnel Reliability Program

Nuclear Surety Personnel Reliability Program a special asse...

areflexia

areflexia n. an absence of motor reflexes.

coldness

coldness n. 1. a psychological characteristic f...

method of moments

method of moments an alternative to maximum likelihood esti...

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