Towards partial order reductions for fragments of alternating-time temporal logicPiotr Dembiński
Towards partial order reductions for fragments of alternating-time temporal logic
9 bibliotek2 wydania · 2016
Biblioteka Jagiellońska
Uniwersytet Jagielloński · Krakówstanbardzo niski
Biblioteka Narodowa
Biblioteka Narodowa (Polska) · Warszawastanbardzo niski
Biblioteka Główna Uniwersytetu Gdańskiego
Uniwersytet Gdański · Gdańskstanbardzo niski
Biblioteka Główna w Toruniu
Uniwersytet Mikołaja Kopernika w Toruniu · Toruństanbardzo niski
Biblioteka na Koszykowej
Biblioteka Publiczna m.st. Warszawy - Biblioteka Główna Województwa Mazowieckiego · Warszawastanbardzo niski
Biblioteka Nauk Ścisłych, Przyrodniczych i Medycznych
Uniwersytet Opolski · Opolestanbardzo niski
Biblioteka UMCS
Biblioteka Główna Uniwersytetu Marii Curie-Skłodowskiej · Lublinstanbardzo niski
Biblioteka Uniwersytecka w Warszawie
Uniwersytet Warszawski · Warszawastanbardzo niski
Książnica Pomorska
Książnica Pomorska im. Stanisława Staszica w Szczecinie · Szczecinstanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.