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: Gilles Dowek 24 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 21 | Rewriting and Typed Lambda Calculi | Gilles Dowek | 2014 | Okänt |
| 22 | Higher-order algebra, logic, and term rewriting - second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers | Logic and Term Rewriting 1996) Paderborn : International Workshop on Higher-Order Algebra | 1996 | Engelska |
| 23 | Higher-Order Algebra, Logic, and Term Rewriting | 1996 | Engelska | |
| 24 | The Age of Algorithms | Serge Abiteboul | 2020 | Okänt |
Förra sidan 1 2
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.