General Recursion and Formal Topology.

Claudio Sacerdoti Coen Silvio Valentini

Published in: PAR@ITP (2010)

Keyphrases

special case
database
neural network
case study
bayesian networks
real time
information systems
data structure
information technology
complex objects
formal model