Statman's 1-Section Theorem

Published in: Inf. Comput. (1995)

Keyphrases

data sets
artificial intelligence
data mining
information systems
case study
reinforcement learning
cooperative
relational databases
mobile robot
interactive theorem proving