Using Inductive Types for Ensuring Correctness of Neuro-Symbolic Computations (2010)
Attributed to:
Computational Logic in Artificial Neural Networks
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Other