Automated conjecturing. III. Property-relations conjectures

From MaRDI portal
Publication:1688717

DOI10.1007/s10472-017-9559-5zbMath1379.68275OpenAlexW2738258633WikidataQ122982473 ScholiaQ122982473MaRDI QIDQ1688717

Nicolas Van Cleemput, Craig E. Larson

Publication date: 11 January 2018

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-017-9559-5



Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (2)


Uses Software


Cites Work


This page was built for publication: Automated conjecturing. III. Property-relations conjectures