Automated reasoning: Introduction and applications
Author(s)
Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos
Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos
Larry Wos ... [et Al.]. Includes Bibliographical References And Index.
| Name in long format: | Automated reasoning: Introduction and applications |
|---|---|
| ISBN-10: | 0130544531 |
| ISBN-13: | 9780130544537 |
| Book pages: | 482 |
| Book language: | en |
| Edition: | n |
| Binding: | Paperback |
| Publisher: | Prentice-Hall |
