Szczegóły obiektu: Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Instytucja dostarczająca:Repozytorium Uniwersytetu Łódzkiego
Opis
- Tytuł:
- Twórca:
- Współtwórca:
- Opis:
- Dostępność obiektu:
- Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
- Data:
- Typ:
- Język:
- Format:
- Wydawca:
- Relacja:
- Temat i słowa kluczowe:
- Identyfikator: http://hdl.handle.net/11089/42921 ;
- Dostawca danych:
- Czy mogę z tego obiektu skorzystać?:
- Rodzaj zawartości:
Podobne obiekty
Twórca:Braüner, Torben
Data:2022.08.25 | 2022.01.07
Rodzaj zawartości:pozostałe
Twórca:Indrzejczak, Andrzej
Data:2016.04.04
Rodzaj zawartości:teksty
Twórca:von Plato, Jan
Data:2018.04.24 | 2017
Rodzaj zawartości:obrazy
Twórca:Braüner, Torben
Data:2020.02.17
Rodzaj zawartości:teksty
Twórca:Buszkowski, Wojciech
Data:2018.04.24 | 2017
Rodzaj zawartości:obrazy
Twórca:Indrzejczak, Andrzej
Data:2017.04.05
Rodzaj zawartości:teksty
Twórca:Bednarska, Kaja
Data:2016.07.04 | 2016 | 2016.07.14
Rodzaj zawartości:teksty
Twórca:Zawidzki, Michał
Data:2017.12.08 | 2014
Rodzaj zawartości:obrazy