Theorem Proving with the Real Numbers. CPHC/BCS Distinguished Dissertations (1998)

by John Harrison
Venue:Proceedings of the 2nd International Joint Conference on Artificial Intelligence