Szczegóły obiektu: From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
Instytucja dostarczająca:Repozytorium Uniwersytetu Łódzkiego
Opis
- Tytuł:
- Twórca:
- Współtwórca:
- Opis:
- Dostępność obiektu:
- Prawa:
- Data:
- Typ:
- Język:
- Format:
- Wydawca:
- Relacja:
- Temat i słowa kluczowe:
- Identyfikator: http://hdl.handle.net/11089/24562 ;
- Dostawca danych:
- Czy mogę z tego obiektu skorzystać?:
- Rodzaj zawartości:
Podobne obiekty
Twórca:von Plato, Jan
Data:2018.04.24 | 2017
Rodzaj zawartości:obrazy
Twórca:Kozhemiachenko, Daniil
Data:2017.04.24
Rodzaj zawartości:teksty
Twórca:Zielonka, Wojciech
Data:2012.03.15
Rodzaj zawartości:teksty
Data:1917
Rodzaj zawartości:pozostałe
Czy mogę z tego skorzystać?:tak
Twórca:Jaśkowski, Stanisław | Indrzejczak, Andrzej
Data:2024.10.10 | 2018.12.30
Rodzaj zawartości:obrazy
Twórca:Schwartz, Yehuda | Tourlakis, George
Data:2013.09.18
Rodzaj zawartości:teksty
Data:1970.12.31 | 1970
Rodzaj zawartości:teksty
Czy mogę z tego skorzystać?:poproś o pozwolenie
Twórca:Lee, Jui-Lin
Data:2008.02.26
Rodzaj zawartości:teksty