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: L.-H Eriksson 4 träffar
| Titel | Författare | År | Språk | |
|---|---|---|---|---|
| 1 | "Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings" | L.-H Eriksson | 1992 | Okänt |
| 2-3 | FME 2002 - formal methods--getting IT right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings (flera utgåvor) | International Symposium of Formal Methods Europe 2002 : Copenhagen) | cop. 2002 | Engelska |
| 4 | Extensions of Logic Programming | L. -H. Eriksson | uuuu-uuuu | Okänt |
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.