Functions as proofs as processes

Emmanuel Beffara

Published in: CoRR (2011)

Keyphrases

process model
basis functions
database
real time
e learning
knowledge base
artificial neural networks
special case
mobile robot
theorem prover
decision procedures
functional units