Matemático, informático y filósofo estadounidense.
Robert Stephen Boyer es un profesor estadounidense jubilado de informática , matemáticas y filosofía en la Universidad de Texas en Austin . Él y J Strother Moore inventaron el algoritmo de búsqueda de cadenas de Boyer-Moore , un algoritmo de búsqueda de cadenas particularmente eficiente , en 1977. Él y Moore también colaboraron en el demostrador de teoremas automatizado de Boyer-Moore, Nqthm , en 1992. [1] Después de esto, trabajó con Moore y Matt Kaufmann en otro demostrador de teoremas llamado ACL2 . Fue elegido miembro de la AAAI en 1991. [2]
Publicaciones
Boyer ha publicado extensamente, incluidos los siguientes libros:
- Manual de lógica computacional , con J. S. Moore. Segunda edición. Academic Press, Londres, 1998.
- Razonamiento automatizado: ensayos en honor a Woody Bledsoe , editor. Kluwer Academic, Dordrecht, Países Bajos, 1991.
- Un manual de lógica computacional , con J. S. Moore. Academic Press, Nueva York, 1988.
- El problema de la corrección en la ciencia informática , editor, con J. S. Moore. Academic Press, Londres, 1981.
- Una lógica computacional , con J. S. Moore. Academic Press, Nueva York, 1979.
Véase también
Referencias
- ^ "Nqthm, el probador de Boyer-Moore" . Consultado el 21 de abril de 2006 .
- ^ "Miembros electos de la AAAI". AAAI . Consultado el 2 de enero de 2024 .
Enlaces externos
- Página de inicio de Robert S. Boyer. Consultado el 18 de febrero de 2016.
- Universidad de Texas, Facultad de Artes Liberales, Honores a Profesores Jubilados - 2008. Consultado el 21 de marzo de 2009.
- Robert Stephen Boyer en el Proyecto de Genealogía Matemática
