Zum Inhalt springen

  1. Pogorzelski, Witold A. [VerfasserIn]; Wojtylak, Piotr [VerfasserIn]

    Completeness theory for propositional logics

    Bücher
    Schließen

    Merkliste

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

    Basel; Berlin [u.a.]: Birkhäuser, 2008

    Erschienen in: Studies in universal logic

  2. Biere, Armin [HerausgeberIn]; Heule, Marijn H. J. [HerausgeberIn]; Maaren, Hans van [HerausgeberIn]; Walsh, Toby [HerausgeberIn]

    Handbook of satisfiability / part 2 - [Second edition]

    Bücher
    Schließen

    Merkliste

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

    Amsterdam; Berlin; Washington, DC: IOS Press, [2021]

    Erschienen in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 2.2021 - Frontiers in artificial intelligence and applications ; 336,2.2021

  3. Biere, Armin [HerausgeberIn]; Heule, Marijn H. J. [HerausgeberIn]; Maaren, Hans van [HerausgeberIn]; Walsh, Toby [HerausgeberIn]

    Handbook of satisfiability / part 1 - [second edition]

    Bücher
    Schließen

    Merkliste

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

    Amsterdam; Berlin; Washington, DC: IOS Press, [2021]

    Erschienen in: Handbook of satisfiability / edited by Armin Biere (Johannes Kepler University, Linz, Austria), Marijan Heule (Carnegie Mellon University, Pittsburgh, USA), Hans van Maaren (TU Delft, the Netherlands, Delft) and Toby Walsh (University of New South Wales, Kensington, Austria) ; 1.2021 - Frontiers in artificial intelligence and applications ; 336,1.2021