Login / Signup

A HOL Theory of Euclidean Space.

John Harrison
Published in: TPHOLs (2005)
Keyphrases