Automatic generation of epsilon-delta proofs of continuity. Beeson, M. In Calmet, J. & 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}
}
Downloads: 0
{"_id":"4SLtutYfDZsy8N4j7","authorIDs":[],"author_short":["Beeson, M."],"bibbaseid":"beeson-automaticgenerationofepsilondeltaproofsofcontinuity","bibdata":{"address":"Berlin Heidelberg New York","author":["Beeson, Michael"],"author_short":["Beeson, M."],"bibtex":"@inproceedings{ beeson1998d,\n address = {Berlin Heidelberg New York},\n author = {Michael Beeson},\n booktitle = {Artificial Intelligence and Symbolic Computation},\n date-added = {2014-11-13 23:35:21 +0000},\n date-modified = {2014-11-13 23:50:00 +0000},\n editor = {Jacques Calmet and Jan Plaza},\n pages = {67--83},\n publisher = {Springer-Verlag},\n series = {Lecture Notes in Artificial Intelligence},\n title = {Automatic generation of epsilon-delta proofs of continuity},\n volume = {1476}\n}","bibtype":"inproceedings","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":["Calmet, Jacques","Plaza, Jan"],"editor_short":["Calmet, J.","Plaza, J."],"id":"beeson1998d","key":"beeson1998d","pages":"67--83","publisher":"Springer-Verlag","series":"Lecture Notes in Artificial Intelligence","title":"Automatic generation of epsilon-delta proofs of continuity","type":"inproceedings","volume":"1476","bibbaseid":"beeson-automaticgenerationofepsilondeltaproofsofcontinuity","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:50.004Z","downloads":0,"keywords":[],"search_terms":["automatic","generation","epsilon","delta","proofs","continuity","beeson"],"title":"Automatic generation of epsilon-delta proofs of continuity","year":null,"dataSources":["KAm35jHTjWPkWnji4"]}