Automated reasoning : introduction and applications /
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Englewood Cliffs, N.J. :
Prentice-Hall,
c1984.
|
| Subjects: |
Main Collection - Walker Library - 2nd Floor
| Call Number: |
QA76.9.A96 A93 1984
|
|---|---|
| Copy 1 | Available Pull and Hold |
