Erratum to : Learning-Assisted Automated Reasoning with Flyspeck |
| |
Authors: | Cezary Kaliszyk Josef Urban |
| |
Affiliation: | 1. University of Innsbruck, Innsbruck, Austria 2. Radboud University, Nijmegen, Netherlands
|
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|