Flyspeck I: Tame Graphs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tobias Nipkow, Gertrud Bauer, Paula Schultz. Flyspeck I: Tame Graphs. In Ulrich Furbach, Natarajan Shankar, editors, Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4130 of Lecture Notes in Computer Science, pages 21-35, Springer, 2006. [doi]

This author has not been identified. Look up 'Tobias Nipkow' in GoogleThis author has not been identified. Look up 'Gertrud Bauer' in GoogleThis author has not been identified. Look up 'Paula Schultz' in Google

runs on WebDSL