Przejdź do menu głównegoPrzejdź do wyszukiwarkiPrzejdź do zawartości
Logo DigiLab - Sterownia Agregatora Dorobku Naukowego

Opis

  • Tytuł: Elementary modal logics over transitive structures
  • Tytuł publikacji grupowej: Leibniz International Proceedings in Informatics ; vol. 23
  • Tytuł pracy zbiorowej: Computer Science Logic 2013 (CSL 2013)
  • Twórca: Michaliszyn, Jakub ; Otop, Jan
  • Strony: S. 563-577
  • Opis: Zawiera streszczenie. ; Zawiera bibliografię. ; Przy nazwisku Jan Otop podwójna afiliacja: UWr i IST Austria. ; Materials of International Conference on Computer Science Logic 2013, September 2-5, 2013, Torino, Italy.
  • Język Abstraktu: eng
  • Wydawca: Schloss Dagstuhl : Leibniz Zentrum für Informatik
  • Miejsce wydania: Wadern
  • Data wydania: 2013
  • Typ: Tekst
  • Identyfikator: ISBN 9783939897606 ; https://doi.org/10.4230/LIPIcs.CSL.2013.563
  • Język publikacji: eng
  • Wersja Cyfrowa: http://dx.doi.org/10.4230/LIPIcs.CSL.2013.563
  • Licencja: CC BY
  • Szczegółowy typ obiektu: rozdz
  • Typ obiektu: Rozdział

Agregator Dorobku Naukowego Uniwersytetu Wrocławskiego, tworzony jest przez Bibliotekę Uniwersytecką we Wrocławiu

Program Operacyjny Polska Cyfrowa
Rzeczpospolita Polska
Europejski Fundusz Rozwoju Regionalnego Unii Europejskiej
Biblioteka Uniwersytecka we Wrocławiu
Uniwersytet Wrocławski

Projekt pn. "Workflow do opracowania publikacji cyfrowych na uczelni" współfinansowany przez Unię Europejską z Europejskiego Funduszu Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności