Neural Networks for Proof-Pattern Recognition
Attributed to:
MACHINE LEARNING COALGEBRAIC AUTOMATED PROOFS
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-33266-1_53
Publication URI: http://dx.doi.org/10.1007/978-3-642-33266-1_53
Type: Book Chapter
Book Title: Artificial Neural Networks and Machine Learning - ICANN 2012 (2012)
Page Reference: 427-434
ISBN: 978-3-642-33265-4
ISSN: 0022-1333