E-bok, Engelska, 2025
Proof Theory and Logic Programming
Computation as Proof Search
Av Dale Miller
986 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Fler format och utgåvor
Beskrivning
Produktinformation
- Utgivningsdatum: 2025-12-18
- Språk: Engelska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9781009561310
- Förlag: Cambridge University Press
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.