Suchergebnisse - Denzinger, Jörg

  • Treffer 1 – 15 von 15
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1993
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:

Suchwerkzeuge: