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, 1998. Springer-Verlag.
![Automatic generation of epsilon-delta proofs of continuity [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf 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-14 19:32:10 +0000},
editor = {Jacques Calmet and Jan Plaza},
keywords = {Automated deduction},
pages = {67-83},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
title = {Automatic generation of epsilon-delta proofs of continuity},
url_pdf = {aisc.pdf},
volume = {1476},
year = {1998}}Downloads: 0
{"_id":"jYiDxnxjJQyJ6W9x6","bibbaseid":"beeson-automaticgenerationofepsilondeltaproofsofcontinuity-1998","author_short":["Beeson, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin Heidelberg New York","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Artificial Intelligence and Symbolic Computation","date-added":"2014-11-13 23:35:21 +0000","date-modified":"2014-11-14 19:32:10 +0000","editor":[{"firstnames":["Jacques"],"propositions":[],"lastnames":["Calmet"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Plaza"],"suffixes":[]}],"keywords":"Automated deduction","pages":"67-83","publisher":"Springer-Verlag","series":"Lecture Notes in Artificial Intelligence","title":"Automatic generation of epsilon-delta proofs of continuity","url_pdf":"aisc.pdf","volume":"1476","year":"1998","bibtex":"@inproceedings{beeson1998d,\n\taddress = {Berlin Heidelberg New York},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Artificial Intelligence and Symbolic Computation},\n\tdate-added = {2014-11-13 23:35:21 +0000},\n\tdate-modified = {2014-11-14 19:32:10 +0000},\n\teditor = {Jacques Calmet and Jan Plaza},\n\tkeywords = {Automated deduction},\n\tpages = {67-83},\n\tpublisher = {Springer-Verlag},\n\tseries = {Lecture Notes in Artificial Intelligence},\n\ttitle = {Automatic generation of epsilon-delta proofs of continuity},\n\turl_pdf = {aisc.pdf},\n\tvolume = {1476},\n\tyear = {1998}}\n\n","author_short":["Beeson, M."],"editor_short":["Calmet, J.","Plaza, J."],"key":"beeson1998d","id":"beeson1998d","bibbaseid":"beeson-automaticgenerationofepsilondeltaproofsofcontinuity-1998","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/aisc.pdf"},"keyword":["Automated deduction"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["automated deduction"],"search_terms":["automatic","generation","epsilon","delta","proofs","continuity","beeson"],"title":"Automatic generation of epsilon-delta proofs of continuity","year":1998}