Lieferbarkeit
Sprachversion
Thema
Produktform
Maximalpreis
CHF

Suchresultat (inductivetypes)

Thierry Coquand, Pete Dybjer, Peter Dybjer, Bengt Nordström, Bengt Nordström et al, … - Types for Proofs and Programs International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Thierry Coquand, Pete Dybjer, Peter Dybjer, Bengt Nordström, Bengt Nordström et al, … Types for Proofs and Programs Englisch 19.02.2009 Taschenbuch CHF 69.00 4-7 Arbeitstage
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs Englisch 20.02.2002 Taschenbuch CHF 69.00 4-7 Arbeitstage