Robert S. Boyer - Robert S. Boyer
Americký matematik, počítačový vědec a filozof
Robert Stephen Boyer je v důchodu profesor z počítačová věda, matematika, a filozofie na Texaská univerzita v Austinu. On a J Strother Moore vynalezl Algoritmus vyhledávání řetězců Boyer – Moore, zvláště efektivní algoritmus prohledávání řetězců, v roce 1977. On a Moore také spolupracovali na automatizovaném důkazu věty Boyer-Moore, Nqthm v roce 1992.[1] Poté pracoval s Moorem a Mattem Kaufmannem na dalším provokátoru teorémů ACL2.
Publikace
Boyer publikoval rozsáhle, včetně následujících knih:
- Příručka výpočetní logiky, s J. S. Moorem. Druhé vydání. Academic Press, London, 1998.
- Automated Reasoning: Eseje na počest Woodyho Bledsoe, editor. Kluwer Academic, Dordrecht, Nizozemsko, 1991.
- Příručka výpočetní logiky, s J. S. Moorem. Academic Press, New York, 1988.
- Problém správnosti v informatice, editor, s J. S. Moorem. Academic Press, London, 1981.
- Výpočtová logika, s J. S. Moorem. Academic Press, New York, 1979.
Viz také
Biografický portál
Matematický portál
Reference
externí odkazy
Kontrolní úřad  | |
---|