DMCA

A HOL theory of Euclidean space (2005)

Cached

Download Links

by John Harrison
Venue:In Hurd and Melham [7
Citations:29 - 1 self