VM lambda: A Functional Calculusfor Scientific Discovery.

Eijiro Sumii Hideo Bannai

Published in: FLOPS (2002)

Keyphrases

scientific discovery
human reasoning
artificial intelligence
knowledge discovery
virtual machine
case study
database
data sets
machine learning
e learning
database systems
fixed point
functional analysis