Essays about: "Jesper Jan Olsson Fredrik Liu Elin Johansson Henry Björnsson Ly"
Found 1 essay containing the words Jesper Jan Olsson Fredrik Liu Elin Johansson Henry Björnsson Ly.
-
1. Proof Editor for Natural Deduction in First-order Logic
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : 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. READ MORE
Result pages:
1