Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Boyer, Robert S."'
In this paper we describe some relatively simple changes that have been made to an existing automatic theorem proving program to enable it to prove efficiently a number of the limit theorems of elementary calculus. These changes include subroutines o
Externí odkaz:
http://hdl.handle.net/1721.1/6191
Autor:
Boyer, Robert S., Moore, J Strother
Publikováno v:
The American Mathematical Monthly, 1984 Mar 01. 91(3), 181-189.
Externí odkaz:
https://www.jstor.org/stable/2322356
Autor:
Boyer, Robert S., Yu, Yuan
Publikováno v:
Journal of the ACM. Jan1996, Vol. 43 Issue 1, p166. 27p. 1 Chart.
Publikováno v:
Communications of the ACM. Oct1977, Vol. 20 Issue 10, p762-772. 11p. 4 Graphs.
Autor:
Boyer, Robert S., Moore, J. Strother
Publikováno v:
Journal of the ACM; Jun1984, Vol. 31 Issue 3, p441-458, 18p
Autor:
Boyer, Robert S., Moore, J. Strother
Publikováno v:
Journal of the ACM; Jan1975, Vol. 22 Issue 1, p129-144, 16p
Publikováno v:
AI Magazine; Vol 17, No 1: Spring 1996; 7
Woodrow Wilson (Woody) Bledsoe died on 4 October 1995 of ALS, more commonly known as Lou Gehrig's disease. Woody was one of the founders of AI, making early contributions in pattern recognition and automated reasoning. He continued to make significan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=issn07384602::e24a515dffef4327c418c178945f9a6c
http://aaai.org/ojs/index.php/aimagazine/article/view/10.1609/aimag.v17i1.1207
http://aaai.org/ojs/index.php/aimagazine/article/view/10.1609/aimag.v17i1.1207