Zobrazeno 1 - 10
of 111
pro vyhledávání: '"Boyer, Robert S."'
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
Autor:
Boyer, Robert S., Hunt, Warren A.
Publikováno v:
Proceedings of the Eighth International Workshop: The ACL2 Theorem Prover & its Applications; 5/11/2009, p20-24, 5p