Login / Signup

The Four Colour Theorem: Engineering of a Formal Proof.

Georges Gonthier
Published in: ASCM (2007)
Keyphrases