Essays about: "Andreas Björnsson"

Found 2 essays containing the words Andreas Björnsson.

  1. 1. Proof Editor for Natural Deduction in First-order Logic

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Jesper Jan Olsson Fredrik Liu Elin Johansson Henry Björnsson Ly; Andreas Widbom; [2017-08-10]
    Keywords : Proof editor; First-order logic; Predicate logic; Natural deduction;

    Abstract : 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

  3. 2. A Preliminary Study of a Production System for Large Pumps in China

    University essay from Institutionen för ekonomisk och industriell utveckling

    Author : Andreas Björnsson; [2008]
    Keywords : production-system China assembly pumps;

    Abstract : ITT Flygt är ett internationellt bolag som producerar mixers och dränkbara pumpar för den globala marknaden. Den största produktionsanläggningen är placerad i Sverige men det finns ett flertal fabriker runt om i världen, till exempel i Kina. READ MORE