Paperback
ISBN: 978-0-13-054453-7
ISBN-10: 0-13-054453-1
Prentice-Hall ยท 1984
|
|
Paperback
ISBN: 978-0-13-054453-7 ISBN-10: 0-13-054453-1 Prentice-Hall ยท 1984 |
| See also (possibly by other authors): | ||
| 1984 | Paperback | Automated Reasoning: Introduction and Applications |