Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, ed.

    • Text
    • Berlin ; New York : Springer, [1996], ©1996.
    • 1996-1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W625 1995Off-site

  • Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / Hans Kleine Büning, Xishun Zhao (eds.)

    • Text
    • Berlin ; New York : Springer, [2008], ©2008.
    • 2008-2008
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.3 .S3652 2008gOff-site

  • CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, [1988], ©1988.
    • 1988-1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W624 1987Off-site

  • CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, [1989], ©1989.
    • 1989-1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 W67 1988Off-site

  • CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, 1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 W67 1989Off-site

  • Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, ed.

    • Text
    • Berlin ; New York : Springer, c1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W625 1995Off-site

  • CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W624 1987Off-site

  • CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35W67 1988Off-site

  • CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, 1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 W67 1989Off-site

  • Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, (ed.).

    • Text
    • Berlin ; New York : Springer, ©1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W625 1995Off-site

  • CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W624 1987Off-site

  • CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 W67 1988Off-site

  • CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, 1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 W67 1989Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta