Automated Theorem-proving in Non-classical Logics
| Author | : Paul B. Thistlewaite |
| Publisher | : Pitman Publishing |
| Total Pages | : 168 |
| Release | : 1988 |
| ISBN-10 | : UOM:39015053594712 |
| ISBN-13 | : |
| Rating | : 4/5 (12 Downloads) |
Book Synopsis Automated Theorem-proving in Non-classical Logics by : Paul B. Thistlewaite
Download or read book Automated Theorem-proving in Non-classical Logics written by Paul B. Thistlewaite and published by Pitman Publishing. This book was released on 1988 with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt: