Peano's Smart Children: A Provability Logical Study of Systems with Built-in Consistency.

Published in: Notre Dame J. Formal Log. (1989)

Keyphrases

empirical studies
expert systems
draw conclusions
neural network
data mining
databases
e learning
theoretical framework
retrieval systems
enabling technologies