Formalization of the Integral Calculus in the Pvs Theorem Prover
by Ricky W. Butler
| Publisher: | Unknows |
| Published In: | 31-Jul-2013 |
| ISBN-10: | 1287266940 |
| ISBN-13: | 9781287266945 |
| Binding Type: | Paperback |
| Weight: | 103 gms |
| Pages: | pp. 32, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Formalization of the Integral Calculus in the Pvs Theorem Prover" is written by Ricky W. Butler. This book was published in the year 3120. The ISBN number 1287266940|9781287266945 is assigned to the Paperback version of this title. This book has total of pp. 32 (Pages). The publisher of this title is Unknows. Formalization of the Integral Calculus in the Pvs Theorem Prover is currently Not Available with us.You can enquire about this book and we will let you know the availability.