Scheme-Based Synthesis of Inductive Theories
Attributed to:
Automated Theorem Discovery
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-16761-4_31
Publication URI: http://dx.doi.org/10.1007/978-3-642-16761-4_31
Type: Book Chapter
Book Title: Advances in Artificial Intelligence - 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I (2010)
Page Reference: 348-361
ISBN: 978-3-642-16760-7