Szczegóły obiektu: Decision procedures for some strong hybrid logics
Instytucja dostarczająca:Akademicka Platforma Czasopism
Opis
- Tytuł:
- Twórca:
- Opis:
- Dostępność obiektu:
- Prawa:
- Data:
- Typ:
- Język:
- Źródło:
- Format:
- Wydawca:
- Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2013.022/1857
- Temat i słowa kluczowe:
- Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2013.022
- Dostawca danych:
- Czy mogę z tego obiektu skorzystać?:
- Rodzaj zawartości:
Podobne obiekty
Twórca:Indrzejczak, Andrzej | Zawidzki, Michał
Data:2013.08.29
Rodzaj zawartości:teksty
Twórca:Indrzejczak, Andrzej
Data:2007.08.25
Rodzaj zawartości:teksty
Twórca:Indrzejczak, Andrzej
Data:2011.11.30
Rodzaj zawartości:teksty
Twórca:Indrzejczak, Andrzej
Data:2016.04.04
Rodzaj zawartości:teksty
Twórca:Maffezioli, Paolo
Data:2016.04.12
Rodzaj zawartości:teksty
Twórca:Lycke, Hans
Data:2010.06.30
Rodzaj zawartości:teksty
Twórca:Jarmużek, Tomasz | Malinowski, Jacek
Data:2021.05.05 | 2019.10.30
Rodzaj zawartości:pozostałe
Twórca:Benzmüller, Christoph | Fuenmayor, David
Data:2021.05.11 | 2020.06.30
Rodzaj zawartości:pozostałe