Adapting Proofs-as-programs: The Curry-Howard Protocol

Författare
Iman Poernomo
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer 2005 Utgivningsland okänt / Ej specificerat