Skip to contents

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

    Completeness theory for propositional logics

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published in: Studies in universal logic

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

    Handbook of satisfiability / part 2 - [Second edition]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published 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 [Editor]; Heule, Marijn H. J. [Editor]; Maaren, Hans van [Editor]; Walsh, Toby [Editor]

    Handbook of satisfiability / part 1 - [second edition]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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

    Published 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