Skip to contents Böckenhauer, Hans-Joachim [Author]; Keller, Lucia [Author] On the Approximability of Splitting-SAT in 2-CNF Horn Formulas Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH-Zürich, 2013 Zolliker, Urs [Author] ; Engeler, Erwin [Contributor]; Jäger, Gerhard [Contributor] A parallel resolution method for logic programs Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH Zürich, 1993
Böckenhauer, Hans-Joachim [Author]; Keller, Lucia [Author] On the Approximability of Splitting-SAT in 2-CNF Horn Formulas Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH-Zürich, 2013
Zolliker, Urs [Author] ; Engeler, Erwin [Contributor]; Jäger, Gerhard [Contributor] A parallel resolution method for logic programs Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH Zürich, 1993
> Media type Skip to next facet Books (1) Wert ausschließen Thesis (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright - Non-commercial Use Permitted (2) Wert ausschließen Show more show less
> Creator Skip to next facet Böckenhauer, Hans-Joachim (1) Wert ausschließen Engeler, Erwin (1) Wert ausschließen Jäger, Gerhard (1) Wert ausschließen Keller, Lucia (1) Wert ausschließen Zolliker, Urs (1) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (2) Wert ausschließen ETH Zürich Research Collection (2) Wert ausschließen Show more show less