Sökning: "andreas björnsson"

Hittade 4 uppsatser innehållade orden andreas björnsson.

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

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

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

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

  3. 2. Markanvändning på Arlanda -En fallstudie av Stockholm - Arlanda Airport och fenomenet Airport Cities

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Fastighetsvetenskap

    Författare :Andréas Björnsson; Jacob Karlsson; [2010]
    Nyckelord :Arlanda; markanvändning; Airport Cities; besittningsskydd; tomträtt; hyra; arrende; Technology and Engineering;

    Sammanfattning : .... LÄS MER

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

    Magister-uppsats, Institutionen för ekonomisk och industriell utveckling

    Författare :Andreas Björnsson; [2008]
    Nyckelord :production-system China assembly pumps;

    Sammanfattning : 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. LÄS MER

  5. 4. Introduktion av nyanställda i ett IT-konsultföretag

    Magister-uppsats, Lunds universitet/Företagsekonomiska institutionen

    Författare :Andreas Scheja; Eva Bengtsson; Johan Björnsson; [2006]
    Nyckelord :Introduktion; nyanställda; kunskapsproduktion; kunskapsöverföring; kultur; Management of enterprises; Företagsledning; management; Business and Economics;

    Sammanfattning : Syftet med denna studie är att närmre studera ett IT-konsultföretags introduktionsprocess för att därigenom identifiera vilka faktorer det är som möjliggör de nyanställdas integration i verksamheten. Vi vill även undersöka om och hur väl dessa faktorer tillgodoses inom företaget i fråga. LÄS MER