Zum Inhalt springen

  1. Makinson, David [VerfasserIn]

    Sets, logic and maths for computing - [2. ed.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    London; Heidelberg [u.a.]: Springer, 2012

    Erschienen in: Undergraduate topics in computer science

  2. Schlechta, Karl [VerfasserIn]; Makinson, David [VerfasserIn]

    On principles and problems of defeasible inheritance

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2011

    Erschienen in: Research Report ; 1992,59

  3. Makinson, David [VerfasserIn]; van der Torre, Leendert [VerfasserIn] ; David Makinson and Leendert van der Torre [MitwirkendeR]

    What is Input/Output Logic? Input/Output Logic, Constraints, Permissions

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007