Programming with Higher-Order Logic
Inbunden, Engelska, 2012
Av Dale Miller, Gopalan (University of Minnesota) Nadathur, Gopalan Nadathur
799 kr
Produktinformation
- Utgivningsdatum2012-06-11
- Mått160 x 237 x 23 mm
- Vikt616 g
- SpråkEngelska
- Antal sidor320
- FörlagCambridge University Press
- EAN9780521879408
Mer från samma författare
John Stuart Mill and the Art of Life
EGGLESTON ET AL, Ben Eggleston, Dale Miller, David Weinstein, Dale E. Miller, University of Kansas) Eggleston, Ben (Professor of Philosophy, Professor of Philosophy, Old Dominion University) Miller, Dale E. (Professor of Philosophy, Professor of Philosophy, Wake Forest University) Weinstein, David (Professor of Political Science, Professor of Political Science
1 899 kr
- Nyhet
Du kanske också är intresserad av
John Stuart Mill and the Art of Life
EGGLESTON ET AL, Ben Eggleston, Dale Miller, David Weinstein, Dale E. Miller, University of Kansas) Eggleston, Ben (Professor of Philosophy, Professor of Philosophy, Old Dominion University) Miller, Dale E. (Professor of Philosophy, Professor of Philosophy, Wake Forest University) Weinstein, David (Professor of Political Science, Professor of Political Science
1 899 kr