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

Document Versions

Flyspeck i: Tame graphs –Tobias Nipkow, Gertrud Bauer, Paula Schultz — 2006 — International Joint Conference on Automated Reasoning, volume 4130 of LNCS