Werner Dilger

Werner Dilger (* 24. März 1942 in Winterbach; † 17. Juli 2007 in Chemnitz) war ein deutscher Professor für Informatik und hatte den Lehrstuhl für künstliche Intelligenz an der TU Chemnitz inne. Sein letztes Hauptforschungsgebiet war die Erforschung künstlicher Immunsysteme. Veröffentlicht in Wikipedia
Treffer 1 – 16 von 16 für Suche 'Dilger, Werner', Suchdauer: 0,08s 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
    Baumgesteuerte Grammatiken

    Baumgesteuerte Grammatiken von Dilger, Werner

    Veröffentlicht 1983
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Automatisierbare und automatisierte Beweisverfahren für die Logik 1. Stufe

    Automatisierbare und automatisierte Beweisverfahren für die Logik 1. Stufe von Dilger, Werner, Schneider, Martin

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A theorem proving associative processor

    A theorem proving associative processor von Dilger, Werner

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A theorem proving associative processor

    A theorem proving associative processor von Dilger, Werner, Schneider, Hans-Albert

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Theorembeweisen mit assoziativen Prozessoren

    Theorembeweisen mit assoziativen Prozessoren von Dilger, Werner

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A unification graph with constraints for intelligent backtracking in deduction systems

    A unification graph with constraints for intelligent backtracking in deduction systems von Dilger, Werner, Janson, Agnes

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Theorembeweisen mit assoziativen Prozessoren

    Theorembeweisen mit assoziativen Prozessoren von Dilger, Werner

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Assoziative Prozessoren

    Assoziative Prozessoren von Dilger, Werner, Mayer, Otto, Müller, Jürgen

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Baumgesteuerte Grammatiken

    Baumgesteuerte Grammatiken von Dilger, Werner

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Baumgesteuerte Grammatiken

    Baumgesteuerte Grammatiken von Dilger, Werner

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Einführung in die Markgraf-Karl-Refutation Procedure

    Einführung in die Markgraf-Karl-Refutation Procedure von Dilger, Werner, Müller, Jürgen, Womann, Wolfgang

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Studien auf dem Indolgebiet, Synthese des 2-Oxytryptophans

    Studien auf dem Indolgebiet, Synthese des 2-Oxytryptophans von Dilger, Werner

    Veröffentlicht 1953
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Theorembeweisen mit assoziativen Prozessoren

    Theorembeweisen mit assoziativen Prozessoren von Dilger, Werner

    Veröffentlicht 1986
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Theorembeweisen mit assoziativen Prozessoren

    Theorembeweisen mit assoziativen Prozessoren von Dilger, Werner

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Assoziative Prozessoren

    Assoziative Prozessoren von Dilger, Werner

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Einführung in die Markgraf-Karl-Refuration-Procedure

    Einführung in die Markgraf-Karl-Refuration-Procedure von Dilger, Werner, Müller, Jürgen G., Womann, Wolfgang

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: