TalTech publikatsioonid
pealdis Pietarinen, A.-V., Ma, M.
TTÜ struktuuriüksus Ragnar Nurkse innovatsiooni ja valitsemise instituut
maakood be
keel inglise
autor Pietarinen, Ahti-Veikko
Ma, Minghui
pealkiri A graphical deep inference system for intuitionistic logic
vastutusandmed Ahti-Veikko Pietarinen, Minghui Ma
allikas Logique et analyse
ajakirja aastakäik number kuu vol. 62, 245
ilmumisaasta 2019
leheküljed p. 73-114
märksõna loogika
graafilised kasutajaliidesed
tema kohta Peirce, Charles Sanders, 1839-1914
ISSN 0024-5836
url https://doi.org/10.2143/LEA.245.0.3285706