Automatic generation of epsilon-delta proofs of continuity. Beeson, M. In Calmet, J. and Plaza, J., editors, Artificial Intelligence and Symbolic Computation, volume 1476, of Lecture Notes in Artificial Intelligence, pages 67--83, Berlin Heidelberg New York. Springer-Verlag. bibtex @inproceedings{ beeson1998d,
address = {Berlin Heidelberg New York},
author = {Michael Beeson},
booktitle = {Artificial Intelligence and Symbolic Computation},
date-added = {2014-11-13 23:35:21 +0000},
date-modified = {2014-11-13 23:50:00 +0000},
editor = {Jacques Calmet and Jan Plaza},
pages = {67--83},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
title = {Automatic generation of epsilon-delta proofs of continuity},
volume = {1476}
}