Szczegóły obiektu: A Simulation of Natural Deduction and Gentzen Sequent Calculus
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.2017.009/11960
- Temat i słowa kluczowe:
- Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2017.009
- Dostawca danych:
- Czy mogę z tego obiektu skorzystać?:
- Rodzaj zawartości:
Podobne obiekty
Twórca:Kozhemiachenko, Daniil
Data:2017.04.24
Rodzaj zawartości:teksty
Twórca:von Plato, Jan
Data:2018.04.24 | 2017
Rodzaj zawartości:obrazy
Twórca:Ilić, Mirjana
Data:2017.05.16 | 2016
Rodzaj zawartości:obrazy
Twórca:Sasaki, Katsumi
Data:2022.05.19 | 2021.10.14
Rodzaj zawartości:pozostałe
Twórca:Gordeev, Lew | Haeusler, Edward Hermann
Data:2022.08.25 | 2022.01.07
Rodzaj zawartości:pozostałe
Twórca:Cordes, Moritz | Reinmuth, Friedrich
Data:2017.02.02
Rodzaj zawartości:teksty
Twórca:Sasaki, Katsumi
Data:2022.08.25 | 2022.06.23
Rodzaj zawartości:pozostałe
Twórca:Gordeev, Lew | Haeusler, Edward Hermann
Data:2021.05.05 | 2020.11.04
Rodzaj zawartości:pozostałe