Sökning: "Andreas Widbom"
Hittade 1 uppsats innehållade orden Andreas Widbom.
1. Proof Editor for Natural Deduction in First-order Logic
Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : The subject of this thesis is the presentation and evaluation of Conan, an editor for writing natural deduction proofs in first-order logic. The intent is for the editor to serve as a supplementary tool alongside a course in logic. LÄS MER
Resultatsidor:
1