Роберт С.Бойер - Robert S. Boyer

Бұл мақала информатика профессоры туралы. Басқа адамдар үшін қараңыз Роберт Бойер (айырмашылық).
Роберт С.Бойер
ҰлтыАҚШ
БілімPh.D. жылы Математика
КәсіпИнформатик, математик
Жұмыс берушіОстиндегі Техас университеті
БелгіліБойер – Мур жолдарын іздеу алгоритмі, Nqthm, ACL2

Роберт Стивен Бойер зейнеткер профессор туралы Информатика, математика, және философия кезінде Остиндегі Техас университеті. Ол және Дж Строур Мур ойлап тапты Бойер – Мур жолдарын іздеу алгоритмі, әсіресе тиімді жол іздеу алгоритмі, 1977 ж. Ол Мурмен бірге Бойер-Мур теоремасының автоматтандырылған бағдарламасында жұмыс істеді, Nqthm, 1992 ж.[1] Осыдан кейін ол Мурмен жұмыс істеді, ал Мэтт Кауфманн теореманың тағы бір дәлелі бойынша жұмыс жасады ACL2.

Жарияланымдар

Бойер көптеген кітаптар шығарды, оның ішінде келесі кітаптар бар:

  • Есептеу логикалық анықтамалығыМур Дж. Екінші басылым. Academic Press, Лондон, 1998 ж.
  • Автоматтандырылған пайымдау: Вуди Бледсодің құрметіне арналған очерктер, редактор. Kluwer Academic, Дордрехт, Нидерланды, 1991 ж.
  • Есептеу логикалық анықтамалығыМур Дж. Academic Press, Нью-Йорк, 1988 ж.
  • Информатикадағы дұрыстық мәселесі, редактор, Дж. С. Мурмен. Academic Press, Лондон, 1981 ж.
  • Есептеу логикасыМур Дж. Academic Press, Нью-Йорк, 1979 ж.

Сондай-ақ қараңыз

Пайдаланылған әдебиеттер

  1. ^ «Nqthm, Бойер-Мурның мақтанышы». Алынған 2006-04-21.

Сыртқы сілтемелер