Automatic Deduction for Theories of Algebraic Data Types.
by Igor A Chikanian
| Publisher: | Unknows |
| Published In: | 03-Sep-2011 |
| ISBN-10: | 1243596538 |
| ISBN-13: | 9781243596536 |
| Binding Type: | Paperback |
| Weight: | 318 gms |
| Pages: | pp. 136, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Automatic Deduction for Theories of Algebraic Data Types." is written by Igor A Chikanian. This book was published in the year 0320. The ISBN number 1243596538|9781243596536 is assigned to the Paperback version of this title. This book has total of pp. 136 (Pages). The publisher of this title is Unknows. Automatic Deduction for Theories of Algebraic Data Types. is currently Not Available with us.You can enquire about this book and we will let you know the availability.