Thierry Coquand - Böcker

Visar alla böcker från författaren Thierry Coquand.

1 produkt

Kategorier

1 produkt

Del 1956

Del 1956 - Lecture Notes in Computer Science

Types for Proofs and Programs

International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers

Av Thierry Coquand, Peter Dybjer m. fl

Häftad, Engelska, 2000

719 kr

Skickas inom 10-15 vardagar