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

extended-release preparation

extended-release preparation see slow-release preparation.

flicker stimulus

flicker stimulus a periodically changing visual or auditory...

parabiosis

parabiosis n. the joining of two individuals so their circu...

glucose

glucose n. a soluble sugar, abundant in nature, that is a m...

neural receptor

neural receptor see neuroreceptor.

succinimide

succinimide n. any of a group of chemically related drugs t...

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