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: International Conference on Computer Logic 7 träffar

Titel Författare År Språk
1 COLOG-88 electronic resource : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings / edited by Per Martin-Löf, Grigori Mints International Conference on Computer Logic uuuu-uuuu Okänt
2 "COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings" International Conference on Computer Logic 1990 Okänt
3 Deontic Logic in Computer Science electronic resource : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings / edited by Thomas Agotnes, Jan M. Broersen, Dag Elgesem Norway) 2012 : (11th International Conference on Deontic Logic in Computer Science Bergen uuuu-uuuu Okänt
4 Deontic Logic in Computer Science International Conference on Deontic Logic in Computer Science 2008 Okänt
5 Deontic Logic in Computer Science electronic resource : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings / edited by Ron van der Meyden, Leendert van der Torre Luxembourg) 2008 : (9th International Conference on Deontic Logic in Computer Science Luxembourg uuuu-uuuu Okänt
6 COLOG-88 International Conference on Computer Logic 1990 Engelska
7 COLOG-88 - proceedings International Conference on Computer Logic 1988) (Tallinn : cop. 1990 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.