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: Denmark) 2016 : (23rd International Symposium on Temporal Representation and Reasoning Lyngby 2 träffar

Titel Författare År Språk
1 TIME 2016 : proceedings : 23rd International Symposium on Temporal Representation and Reasoning : 17-19 October 2016, Kongens Lyngby, Denmark / edited by Curtis Dyreson, Michael R. Hansen, Luke Hunsberger Denmark) 2016 : (23rd International Symposium on Temporal Representation and Reasoning Lyngby uuuu-uuuu Okänt
2 On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems 17–19 October 2016 Denmark Kongens Lyngby 23rd International Symposium on Temporal Representation and Reasoning (TIME'2016) Valentin Goranko 2016 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.