Search Results - Suttner, Christian

  • Showing 1 – 12 results of 12
Filter by
  1. 1
    Cover Image

    Dependent deletion: a refinement of backward subsumption
    by Suttner, Christian B.

    Published 1993
    Book


    Saved in:
  2. 2
    Cover Image

    Parallelization of search based systems by static partitioning with slackness
    by Suttner, Christian

    Published 1995
    Book


    Saved in:
  3. 3
    Cover Image

    Massively parallel inference systems
    by Furbach, Ulrich 1948-, Suttner, Christian, Fronhöfer, Bertram

    Published 1991
    Book


    Saved in:
  4. 4
    Cover Image

    Parallelization of search based systems by static partitioning with slackness
    by Suttner, Christian

    Published 1995
    Book


    Saved in:
  5. 5
    Cover Image

    The TPTP problem library
    by Suttner, Christian B., Sutcliffe, Geoff, Yemenis, Theodoros

    Published 1993
    Table of Contents
    Book


    Saved in:
  6. 6
    Cover Image

    Using connectionist networks for guiding the search of a theorem prover
    by Suttner, Christian B., Ertel, Wolfgang

    Published 1990
    Book


    Saved in:
  7. 7
    Cover Image

    Learning heuristics for a theorem prover using back propagation
    by Ertel, Wolfgang, Schumann, Johann M., Suttner, Christian B.

    Published 1989
    Book


    Saved in:
  8. 8
    Cover Image

    A parallel algorithm for set-of-support
    by Grosse, Malte, Suttner, Christian B., Suttner, Christian B.

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Leitfaden zur Veröffentlichung wissenschaftlicher Monographien: [(Dissertationen, Habilitationen, etc.) ; eine Hilfe zur kosten- und qualitätsgerechten Auswahl eines Verlages zur Veröffentlichung wissenschaftlicher Monographien]
    by Suttner, Christian

    Published 1996
    Table of Contents
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Learning heuristics for a theorem prover using back propagation
    by Schumann, Johann M., Ertel, Wolfgang, Suttner, Christian B.

    Published 1989
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    Automatic acquisition of search guiding heuristics
    by Suttner, Christian B., Ertel, Wolfgang

    Published 1989
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Using connectionist networks for guiding the search of a theorem prover
    by Suttner, Christian, Ertel, Wolfgang

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: