by: Larry Wos · Ross Overbeek · Ewing Lusk · Jim Boyle
Paperback
ISBN: 978-0-13-054446-9
ISBN-10: 0-13-054446-9
Prentice Hall · 1984
|
|
by: Larry Wos · Ross Overbeek · Ewing Lusk · Jim BoylePaperback
ISBN: 978-0-13-054446-9 ISBN-10: 0-13-054446-9 Prentice Hall · 1984 |
| See also: | ||
| 1984 | Paperback | Automated reasoning: Introduction and applications |