Login / Signup
Type-free Equational Reasoning in the Theeory of Inductively Defined Types.
Yasuyuki Tsukada
Published in:
Fuji International Symposium on Functional and Logic Programming (1998)
Keyphrases
</>
multiple types
training data
database
artificial neural networks
real time
data sets
databases
neural network
data mining
feature selection
website
natural language
information technology
query language
management system
type checking