Search Results - Denzinger, Jörg

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

    Teamwork: eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser
    by Denzinger, Jörg

    Published 1993
    Thesis/Dissertation Book


    Saved in:
  2. 2
    Cover Image

    Extending automatic theorem proving by planning
    by Sonntag, Inger, Denzinger, Jörg

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  3. 3
    Cover Image

    Ansatzpunkte für heuristische Methoden bei der Vervollständigung
    by Denzinger, Jörg

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    Distributed knowledge-based deduction using the team work method
    by Denzinger, Jörg

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    Completion and equational theorem proving using taxonomic constraints
    by Denzinger, Jörg

    Published 1995
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    Analysis and representation of equational proofs generated by a distributed completion based proof system
    by Denzinger, Jörg, Schulz, Stephan

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    Goal oriented equational theorem proving using team work
    by Denzinger, Jörg, Fuchs, Matthias

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Planning for distributed theorem proving: the team work approach
    by Denzinger, Jörg, Kronenburg, Martin

    Published 1994
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Distributing equational theorem proving
    by Avenhaus, Jürgen, Denzinger, Jörg

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Efficient AC 1-Matching using constraints
    by Avenhaus, Jürgen, Denzinger, Jörg, Hoffmann, Thomas

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    Efficient AC-Matching using constraint propagation
    by Gramlich, Bernhard, Denzinger, Jörg

    Published 1988
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Efficient AC1-matching using constraints
    by Avenhaus, Jürgen, Denzinger, Jörg, Hoffmann, T.

    Published 1992
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

    Ansatzpunkte für heuristische Methoden bei der Vervollständigung
    by Denzinger, Jörg

    Published 1990
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    Extending automatic theorem proving by planning
    by Sonntag, Inger, Denzinger, Jörg

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  15. 15
    Cover Image

    Distributed knowledge-based deduction using the team work
    by Denzinger, Jörg

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: