Search Results - Kleine Büning, H. (Hans)

Propositional logic : deduction and algorithms / by Kleine Büning, H. (Hans)

Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /

Other Authors: “…Kleine Büning, H. (Hans)…”
Full Text (via Springer)

Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /

Other Authors: “…Kleine Büning, H. (Hans)…”
Full Text (via Springer)

CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /

Other Authors: “…Kleine Büning, H. (Hans)…”
Full Text (via Springer)

CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings /

Other Authors: “…Kleine Büning, H. (Hans)…”
Full Text (via Springer)