Robert S. Boyer
Robert S. Boyer
5 featured booksRobert S. Boyer
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL951250A
Overview
Catalog identity and bibliographic footprint for this author.
5 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryCL
A Computational Logic Handbook
cover - Image source: Open LibraryAR
Automated reasoning
cover - Image source: Open LibraryAC
A computational logic handbook
cover - Image source: Open LibraryTC
Correctness Problem in Computer Science (International lecture series in computer science)
cover - Image source: Open LibraryAC
A computational logic
cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.