HaskHOL A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving.
by Evan Christopher Austin
| Publisher: | Unknows |
| Published In: | 17-Jul-2012 |
| ISBN-10: | 1249078741 |
| ISBN-13: | 9781249078746 |
| Binding Type: | Paperback |
| Weight: | 227 gms |
| Pages: | pp. 84 |
The Title "HaskHOL A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving." is written by Evan Christopher Austin. This book was published in the year 1720. The ISBN number 1249078741|9781249078746 is assigned to the Paperback version of this title. This book has total of pp. 84 (Pages). The publisher of this title is Unknows. HaskHOL A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving. is currently Not Available with us.You can enquire about this book and we will let you know the availability.