Zum Inhalt springen 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 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 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 Manthey, Norbert [VerfasserIn] Towards next generation sequential and parallel SAT solvers Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2014 ; Online-Ausg.: 2015 Döcker, Janosch [VerfasserIn] ; Eberhard Karls Universität Tübingen Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Tübingen, 2021 Kutschera, Franz Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 1968 Erschienen in: Archiv für Mathematische Logik und Grundlagenforschung
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
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
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
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
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
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Manthey, Norbert [VerfasserIn] Towards next generation sequential and parallel SAT solvers Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2014 ; Online-Ausg.: 2015
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Döcker, Janosch [VerfasserIn] ; Eberhard Karls Universität Tübingen Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Tübingen, 2021
> Zugang Zugang zur Ressource (via DOI) Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kutschera, Franz Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik Aufsätze Online ansehen Schließen > Zugang Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Springer Science and Business Media LLC, 1968 Erschienen in: Archiv für Mathematische Logik und Grundlagenforschung
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Bücher (5) Wert ausschließen Aufsätze (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (3) Wert ausschließen Verfügbarkeit vor Ort erfragen (2) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Zentralbibliothek (2) Wert ausschließen Bereichsbibliothek DrePunct (2) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (2) Wert ausschließen Ohne Angabe (1) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (5) Wert ausschließen Deutsch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Mathematik (4) Wert ausschließen Informatik (3) Wert ausschließen Biologie (1) Wert ausschließen Philosophie (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution 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 zeige weitere weniger zeigen
> Kollektion 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 zeige weitere weniger zeigen