Programming with Higher-Order Logic > Editions

by Dale Miller First published June 11th 2012

Programming with Higher-Order Logic
Published June 11th 2012 by Cambridge University Press
1, Hardcover, 320 pages
ISBN:
9780521879408 (ISBN10: 052187940X)
ASIN:
052187940X
Edition language:
English
Average rating:
3.25 (4 ratings)
Rate this book
Clear rating
Programming with Higher-Order Logic
Published June 11th 2012 by Cambridge University Press
1, Kindle Edition, 321 pages
ISBN:
9781139506144 (ISBN10: 1139506145)
ASIN:
B009ZRNPZG
Edition language:
English
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
Programming with Higher-Order Logic by Dale Miller (2012-06-11)
Published by Cambridge University Press
Hardcover, 0 pages
Author(s):
ASIN:
B01F81WWKG
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
Programming with Higher-Order Logic
Published June 14th 2012 by Cambridge University Press
Kindle Edition, 320 pages
ISBN:
9781139512121 (ISBN10: 1139512129)
ASIN:
1139512129
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating
Programming with Higher-Order Logic
Published June 30th 2012 by Not Avail
Kindle Edition, 0 pages
ISBN:
9786613685476 (ISBN10: 661368547X)
ASIN:
661368547X
Average rating:
0.0 (0 ratings)
Rate this book
Clear rating

per page