Sökning: "Michael Abrahamsson"

Hittade 2 uppsatser innehållade orden Michael Abrahamsson.

1. 1. Proof Editor for Natural Deduction

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

   Författare :FREDDY ABRAHAMSSON; THERESE ANDERSSON; AXEL FORSMAN; LO RANTA; MICHAEL ÅKESSON; [2021-09-14]
   Nyckelord :Proof editor; Natural deduction; First order logic; PureScript;

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

3. 2. Volkswagen AG - en fallstudie av verksamheten på den svenska marknaden

   Magister-uppsats, Lunds universitet/Företagsekonomiska institutionen

   Författare :Michael Sönnerborg; Andreas Hansen; Nicklas Abrahamsson; Joakim Lidberg; [2007]
   Nyckelord :Volkswagen AG; Svenska Volkswagen AB; varumärkesportfölj; strategi; styrning; Management of enterprises; Företagsledning; management; Business and Economics;

   Sammanfattning : Syftet med kandidatuppsatsen är att beskriva och analysera hur Volkswagen AG profilerar, styr och arbetar strategiskt med sin varumärkesportfölj på den svenska marknaden.... LÄS MER