BookOrb
🔍
  • Authors
  • About
  • Sign In
  • Join
  • Authors
  • About
  • Sign In
  • Join BookOrb
Home › Authors › Robert S. Boyer
👤

Robert S. Boyer

4 books

Books by Robert S. Boyer

A computational logic
A computational logic
2014
A computational logic handbook
A computational logic handbook
2014
Automated reasoning
Automated reasoning
1987
Correctness Problem in Computer Science (International lecture series in computer science)
Correctness Problem in Computer Science (International lecture series in computer science)
1981
BookOrb

AI-powered book discovery for every reader.

Discover

Authors Search

Company

About Privacy Terms Contact

Account

Sign In Create Account

© 2026 BookOrb.com · Interlink Digital Group Limited