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

winkte

winkte n. see two-spirit.

exact test

exact test any statistical test in which the probability of...

group-randomized trial

group-randomized trial a research design in which groups of...

telencephalon

telencephalon n. see cerebrum.

employment counseling

employment counseling counseling designed to help an indivi...

health activities questionnaire

health activities questionnaire any questionnaire designed...

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