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: Gérard Huet 10 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | Logical Frameworks | Gerard Huet | 1991 | Okänt |
| 2 | Sanskrit Computational Linguistics, Volume 5406 | Amba Kulkarni | 2009 | Okänt |
| 3 | From Semantics to Computer Science - Essays in Honour of Gilles Kahn | 2009 | Engelska | |
| 4 | Sanskrit Computational Linguistics, Volume 5402 | Gérard Huet | 2009 | Okänt |
| 5 | Sanskrit Computational Linguistics - First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers | Gérard. Huet | 2009 | Engelska |
| 6 | Sanskrit Computational Linguistics - Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings | Amba. Kulkarni | 2009 | Engelska |
| 7 | Logical environments | 1993 | Engelska | |
| 8 | Logical foundations of functional programming | cop. 1990 | Engelska | |
| 9-10 | Logical Frameworks (flera utgåvor) | 1991 | 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.