Automated theorem-proving in non-classical logics
- Författare
- Paul B. Thistlewaite
- (Paul B. Thistlewaite, Michael A. McRobbie and Robert K. Meyer)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Pitman, Wiley | 1988 | Storbritannien, London, New York | 154 sidor. : tab. | 0-273-08781-9, 0-470-21006-0 |