Minimization of Resolution Proof Systems
| Author | : Z. Stachniak |
| Publisher | : |
| Total Pages | : 46 |
| Release | : 1988 |
| ISBN-10 | : OCLC:20862453 |
| ISBN-13 | : |
| Rating | : 4/5 (53 Downloads) |
Book Synopsis Minimization of Resolution Proof Systems by : Z. Stachniak
Download or read book Minimization of Resolution Proof Systems written by Z. Stachniak and published by . This book was released on 1988 with total page 46 pages. Available in PDF, EPUB and Kindle. Book excerpt:
