Operations on Bounded Natural Functors.

Jasmin Christian Blanchette Andrei Popescu Dmitriy Traytel

Published in: Arch. Formal Proofs (2017)

Keyphrases

real world
image processing
bayesian networks
artificial systems
neural network
artificial intelligence
three dimensional
information technology
man made