Proof Theory and Logic Programming
- Nyhet
Computation as Proof Search
Inbunden, Engelska, 2025
1 059 kr
Produktinformation
- Utgivningsdatum2025-12-31
- FormatInbunden
- SpråkEngelska
- Antal sidor400
- 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 849 kr
Du kanske också är intresserad av
- Nyhet
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 849 kr