31458726
9781249078746
Out of Stock
The item you're looking for is currently unavailable.
Evan Christopher Austin is the author of 'HaskHOL: A Haskell Hosted Domain Specific Language for Higher-Order Logic Theorem Proving.', published 2012 under ISBN 9781249078746 and ISBN 1249078741.
[read more]