Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers (2010)
Attributed to:
Computational Logic in Artificial Neural Networks
funded by
EPSRC
Abstract
No abstract provided