Sökning: "LO RANTA"
Hittade 1 uppsats innehållade orden LO RANTA.
1. Proof Editor for Natural Deduction
Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : In this thesis, we present Logan, a proof editor for constructing Fitch-style proofs in first-order logic. This proof editor is intended to be used by students who are taking a course in logic. LÄS MER
Resultatsidor:
1