Advertisement

Journal of Automated Reasoning

, Volume 54, Issue 1, pp 99–99 | Cite as

Erratum to : Learning-Assisted Automated Reasoning with Flyspeck

  • Cezary Kaliszyk
  • Josef Urban
Erratum
  • 352 Downloads

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  1. 1.University of InnsbruckInnsbruckAustria
  2. 2.Radboud UniversityNijmegenNetherlands

Personalised recommendations