Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!
Sökning efter: Thierry Coquand 7 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Intuitionistic choice and classical logic | Thierry Coquand | 1997 | Engelska |
| 2 | Metric Boolean algebras and constructive measure theory | Thierry Coquand | 2000 | Engelska |
| 3 | Homotopy type theory - univalent foundations of mathematics | 2013 | Engelska | |
| 4 | Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 1216, 1999 Selected Papers | Thierry Coquand | uuuu-uuuu | Okänt |
| 5 | Type theory and programming | 1994 | Engelska | |
| 6-7 | Types for proofs and programs - International Workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers (flera utgåvor) | International Workshop on Types for Proofs and Programs 1999) Lökeberg : | cop. 2000 | Engelska |
1
Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.