Bücher nach ISBN > Springer > R. E. Bryant

R. E. Bryant

TitelISBN-13
(ISBN-10)		Erschei-
nungsjahr		andere Autoren
Decision Procedures: An Algorithmic Point of View978-3-642-O9344-9
(3-642-O9344-2)		2010Daniel Kroening · Ofer Strichman

E.B. · R. B · R. Bryant · R. E. · Randal E. Bryant

R. E. Buchanan