Showing 1 - 20 results of 26 for search 'Kleine Büning, H (Hans)', query time: 0.45s Refine Results
  1. 1
    Propositional logic : deduction and algorithms /

    Book
  2. 2
    Propostional logic : deduction and algorithms /

    Book
  3. 3
    Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /
    Published 1996
    Other Authors: “...Kleine Büning, H (Hans)...”

    Conference Proceeding Book
  4. 4
    Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /
    Published 1996
    Other Authors: “...Kleine Büning, H (Hans)...”

    Conference Proceeding Book
  5. 5
    Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /
    Published 2008
    Other Authors: “...Kleine Büning, H (Hans)...”

    Conference Proceeding Book
  6. 6
    Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /
    Published 1996
    Other Authors: “...Kleine Büning, H (Hans)...”

    Conference Proceeding Book
  7. 7
    Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings /
    Published 2008
    Other Authors: “...Kleine Büning, H (Hans)...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  8. 8
    Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /
    Published 2008
    Other Authors: “...Kleine Büning, H (Hans)...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  9. 9
    Propositional logic : deduction and algorithms /
    Published 1999
    Other Authors: “...Kleine Büning, H (Hans)...”

    Book
  10. 10
    Theory and Applications of Satisfiability Testing - SAT 2008 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /
    Published 2008
    Other Authors: “...Kleine Büning, H (Hans)...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Electronic Conference Proceeding Book
  11. 11
    CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /
    Published 1988
    Other Authors: “...Kleine Büning, H (Hans)...”

    Conference Proceeding Book
  12. 12
    CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings /
    by Börger, Egon
    Published 1989
    Other Authors: “...Kleine Büning, H (Hans)...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  13. 13
    CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings /
    by Börger, Egon
    Published 1990
    Other Authors: “...Kleine Büning, H (Hans)...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  14. 14
    CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings /
    by Börger, Egon
    Published 1988
    Other Authors: “...Kleine Büning, H (Hans)...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  15. 15
    CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings /
    Published 1989
    Other Authors: “...Kleine Büning, H (Hans)...”

    Conference Proceeding Book
  16. 16
    CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /
    Published 1990
    Other Authors: “...Kleine Büning, H (Hans)...”

    Conference Proceeding Book
  17. 17
    CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /
    Published 1988
    Other Authors: “...Kleine Büning, H (Hans)...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  18. 18
    Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings /
    by Börger, Egon
    Published 1992
    Other Authors: “...Kleine Büning, H (Hans)...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  19. 19
    Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings /
    by Börger, Egon
    Published 1991
    Other Authors: “...Kleine Büning, H (Hans)...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  20. 20
    Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers /
    by Börger, Egon
    Published 1993
    Other Authors: “...Kleine Büning, H (Hans)...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
Search Tools: Get RSS Feed — Email this Search