Treffer 1 – 15 von 15 für Suche 'Denzinger, Jörg', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Extending automatic theorem proving by planning

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Efficient AC1-matching using constraints

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Ansatzpunkte für heuristische Methoden bei der Vervollständigung

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Ansatzpunkte für heuristische Methoden bei der Vervollständigung

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Teamwork eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser

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

    Veröffentlicht 1993
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Extending automatic theorem proving by planning

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Distributed knowledge-based deduction using the team work method

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Distributed knowledge-based deduction using the team work

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Completion and equational theorem proving using taxonomic constraints

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Analysis and representation of equational proofs generated by a distributed completion based proof system

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Goal oriented equational theorem proving using team work

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Planning for distributed theorem proving the team work approach

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Distributing equational theorem proving

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Efficient AC 1-Matching using constraints

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Efficient AC-Matching using constraint propagation

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: