Books listed by ISBN
>
Prentice Hall
> Larry, Ross Overbeek, Ewing Lusk, Jim Boyle Wos
Larry, Ross Overbeek, Ewing Lusk, Jim Boyle Wos
title
ISBN-13
(ISBN-10)
year of publication
Automated reasoning: Introduction and applications
978-O-13-O54453-7
(O-13-O54453-1)
1984
L. E.
·
L. R.
·
Larry E
·
Larry Ross
·
R. E.
·
R. Overbeek
·
Ross Overbeek
Larry Roth