Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the ‘Assets’ in Theorem Proving
From MaRDI portal
Publication:5305721
DOI10.1007/978-3-642-05179-1_8zbMath1185.68619OpenAlexW1578873049MaRDI QIDQ5305721
Publication date: 23 March 2010
Published in: Advances in Machine Learning II (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-05179-1_8
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
This page was built for publication: Two Examples of Computational Creativity: ILP Multiple Predicate Synthesis and the ‘Assets’ in Theorem Proving
