Image by MabelAmber on Pixabay · Pixabay License
Robert S. Boyer
Sign in to saveAlso known as Robert Stephen Boyer, Bob Boyer
American mathematician, computer scientist and philosopher
Person · Open Library
- Works
- 6
Top works
- A Computational Logic Handbook
- Correctness Problem in Computer Science (International lecture series in computer science)
- Automated reasoning
- A computational logic
- A computational logic handbook
via Open Library + Wikidata
Wikidata facts
- Instance of
- human
- Given name
- Robert
- Gender
- male
- Citizenship
- United States
- Occupation
- computer scientist
- Educated at
- University of Texas at Austin
- Employer
- University of Texas at Austin
- Doctoral advisor
- Woody Bledsoe
Show 3 more facts
- date of birth
- 2000-01-01
- Erdős number
- 3
Sources (2)
via Wikidata · CC0