pealkiri
Diagrammloogika redaktor
Diagrammatic Logic Editor
autor
Jõgi, Mart
märksõnad
peirce
diagrammloogika
loogika
lausearvutus
eksistentsiaalne graaf
logic
diagram
exixtential graph
bakalaureusetööd
bachelor's theses
juhendaja
Sobociński, Paweł Maria
kaitsmiskuupäev
03.06.2021
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
School of Information Technologies
instituut / kolledž
Tarkvarateaduse instituut
Department of Software Science