Exporting and Refecting Abstract Metamathematics.

Robert L. Constable

Published in: CADE (1994)

Keyphrases

higher level
data sets
databases
neural network
machine learning
data structure
data streams