Books by R.E. Bryant

R.E. Bryant
Average rating 4.17 · 12 ratings · 2 reviews · shelved 60 times

Showing 2 distinct works.

	Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) by Daniel Kroening, Ofer Strichman, R.E. Bryant (Foreword) 4.17 avg rating — 12 ratings — published 2008 — 13 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) by Daniel Kroening, Ofer Strichman, R.E. Bryant (Foreword) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.