Generalization, lemma generation, and induction in ACL2.
by John D Erickson
| Publisher: | Unknows |
| Published In: | 02-Sep-2011 |
| ISBN-10: | 1243512865 |
| ISBN-13: | 9781243512864 |
| Binding Type: | Paperback |
| Weight: | 308 gms |
| Pages: | pp. 130, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Generalization, lemma generation, and induction in ACL2." is written by John D Erickson. This book was published in the year 0220. The ISBN number 1243512865|9781243512864 is assigned to the Paperback version of this title. This book has total of pp. 130 (Pages). The publisher of this title is Unknows. Generalization, lemma generation, and induction in ACL2. is currently Not Available with us.You can enquire about this book and we will let you know the availability.