Robert Stephen Boyer is an American retired professor of computer science, mathematics, and philosophy at The University of Texas at Austin.
He and Moore also collaborated on the Boyer–Moore automated theorem prover, Nqthm, in 1992.
[2] Following this, he worked with Moore and Matt Kaufmann on another theorem prover called ACL2.
You can help Wikipedia by expanding it.This article about an American mathematician is a stub.
You can help Wikipedia by expanding it.This biographical article relating to a computer specialist in the United States is a stub.