Non-Standard Analysis in ACL2 (2001)

by Ruben A. Gamboa , Matt Kaufmann
Citations:18 - 7 self