An Intuitionistic Investigation of Prerequisite-Effect Structure.

Katsuhiko Sano Shingo Hagiwara Satoshi Tojo

Published in: JSAI-isAI Workshops (2011)

Keyphrases

hierarchical structure
real time
database systems
structural information
data sets
neural network
real world
web pages
learning environment
tree structure
structural properties
theorem prover