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
Recent publications · Crossref
5 total works indexed
- Development of the Colle-Salvetti correlation-energy formula into a functional of the electron density
· 1988 · cited 95,805x
- Hallmarks of Cancer: The Next Generation
· 2011 · cited 56,572x
- Research electronic data capture (REDCap)—A metadata-driven methodology and workflow process for providing translational research informatics support
· 2009 · cited 46,854x
- Regression Shrinkage and Selection Via the Lasso
· 1996 · cited 39,814x
- The PHQ-9
· 2001 · cited 39,527x
via Crossref · CC0