nach oben

Erschienen in:

Open Access 01.08.2014

Learning-Assisted Automated Reasoning with Flyspeck

verfasst von: Cezary Kaliszyk, Josef Urban

Titel: Learning-Assisted Automated Reasoning with Flyspeck
verfasst von: Cezary Kaliszyk
Josef Urban
Publikationsdatum: 01.08.2014
Verlag: Springer Netherlands
Erschienen in: Journal of Automated Reasoning / Ausgabe 2/2014
Print ISSN: 0168-7433
Elektronische ISSN: 1573-0670
DOI: https://doi.org/10.1007/s10817-014-9303-3