Proofs and Computations in Conditional Equational Theories
| Author | : G. Sivakumar |
| Publisher | : |
| Total Pages | : 88 |
| Release | : 1989 |
| ISBN-10 | : UIUC:30112121897166 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis Proofs and Computations in Conditional Equational Theories by : G. Sivakumar
Download or read book Proofs and Computations in Conditional Equational Theories written by G. Sivakumar and published by . This book was released on 1989 with total page 88 pages. Available in PDF, EPUB and Kindle. Book excerpt:
