by: Paul B. Thistlewaite · Michael A. McRobbie · Robert K. Meyer
Paperback
ISBN: 978-0-273-08781-6
ISBN-10: 0-273-08781-9
FT Prentice Hall · 1988
|
|
by: Paul B. Thistlewaite · Michael A. McRobbie · Robert K. MeyerPaperback
ISBN: 978-0-273-08781-6 ISBN-10: 0-273-08781-9 FT Prentice Hall · 1988 |
| See also: | ||
| 1988 | Paperback | Automated theorem-proving in non-classical logics (Research notes in theoretical computer science) |