An interactive calculus theorem-prover for continuityproperties
Open Access
- 1 June 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 7 (6) , 573-590
- https://doi.org/10.1016/s0747-7171(89)80041-0
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: