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