Flyspeck i: Tame graphs (2006)

Cached

Download Links

by Tobias Nipkow , Gertrud Bauer , Paula Schultz
Venue:International Joint Conference on Automated Reasoning, volume 4130 of LNCS
Citations:11 - 2 self