Proof Theory and Logic Programming
- Nyhet
Computation as Proof Search
Inbunden, Engelska, 2025
969 kr
Produktinformation
- Utgivningsdatum2025-12-18
- Mått157 x 235 x 23 mm
- Vikt652 g
- FormatInbunden
- SpråkEngelska
- Antal sidor334
- FörlagCambridge University Press
- ISBN9781009561297
Tillhör följande kategorier
Mer från samma författare
John Stuart Mill and the Art of Life
EGGLESTON ET AL, 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 869 kr
Du kanske också är intresserad av
John Stuart Mill and the Art of Life
EGGLESTON ET AL, 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 869 kr