Skip to contents 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 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 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 Manthey, Norbert [Author] Towards next generation sequential and parallel SAT solvers Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2014 ; Online-Ausg.: 2015 Döcker, Janosch [Author] ; Eberhard Karls Universität Tübingen Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy Books View online Schließen > Access More information on the full text Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen, 2021 Kutschera, Franz Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1968 Published in: Archiv für Mathematische Logik und Grundlagenforschung
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
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
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
Manthey, Norbert [Author] Towards next generation sequential and parallel SAT solvers Books View online Schließen > Access More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2014 ; Online-Ausg.: 2015
Döcker, Janosch [Author] ; Eberhard Karls Universität Tübingen Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy Books View online Schließen > Access More information on the full text Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen, 2021
Kutschera, Franz Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1968 Published in: Archiv für Mathematische Logik und Grundlagenforschung
> Media type Skip to next facet Books (5) Wert ausschließen Articles (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (3) Wert ausschließen Ask for availability (2) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (2) Wert ausschließen Departmental Library DrePunct (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (2) Wert ausschließen Without Specification (1) Wert ausschließen Show more show less
> Language Skip to next facet English (5) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (4) Wert ausschließen Computer science (3) Wert ausschließen Biology (1) Wert ausschließen Philosophy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Biere, Armin (2) Wert ausschließen Heule, Marijn H. J. (2) Wert ausschließen Maaren, Hans van (2) Wert ausschließen Walsh, Toby (2) Wert ausschließen Döcker, Janosch (1) Wert ausschließen Eberhard Karls Universität Tübingen (1) Wert ausschließen Kutschera, Franz (1) Wert ausschließen Manthey, Norbert (1) Wert ausschließen Pogorzelski, Witold A. (1) Wert ausschließen Wojtylak, Piotr (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (5) Wert ausschließen Lizenzfreie Online-Ressourcen (2) Wert ausschließen Qucosa (1) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (1) Wert ausschließen Show more show less