gefundene Verfasser Siekmann, Jörg H

Siekmann, Jörg H.
Wrightson, Graham
Kerber, Manfred
Melis, Erica
Ohlbach, Hans Jürgen
Alle anzeigen »
Siekmann, Jörg H. 1941-
Szabó, Peter 1946-
International Conference on Automated Deduction Oxford
Raulefs, Peter 1945-
Schmidt-Schauß, Manfred

Treffer 1 - 20 von 34 für Suche 'Siekmann, Jörg H', Suchdauer: 2,24s Treffer weiter einschränken
  1. 1
    Reasoning with assertions and examples

    Reasoning with assertions and examples von Kerber, Manfred, Melis, Erica, Siekmann, Jörg H.

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    The Markgraf Karl refutation procedure

    The Markgraf Karl refutation procedure von Ohlbach, Hans Jürgen, Siekmann, Jörg H.

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Unification theory

    Unification theory von Siekmann, Jörg H.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Using automated reasoning techniques for deductive databases

    Using automated reasoning techniques for deductive databases von Ohlbach, Hans Jürgen, Siekmann, Jörg H.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Künstliche Intelligenz

    Künstliche Intelligenz von Siekmann, Jörg H. 1941-

    Veröffentlicht 1988
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Universal unification and a classification of equational theories

    Universal unification and a classification of equational theories von Siekmann, Jörg H.

    Veröffentlicht 1982
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Unification and matching problems

    Unification and matching problems von Siekmann, Jörg H.

    Veröffentlicht 1978
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Completeness and soundness of the connection graph proof procedure

    Completeness and soundness of the connection graph proof procedure von Stephan, W., Siekmann, Jörg H.

    Veröffentlicht 1976
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Analogical reasoning with typical examples

    Analogical reasoning with typical examples von Kerber, Manfred, Melis, Erica, Siekmann, Jörg H.

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Analogical reasoning with typical examples

    Analogical reasoning with typical examples von Kerber, Manfred, Melis, Erica, Siekmann, Jörg H.

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    The Markgraf Karl refutation procedure

    The Markgraf Karl refutation procedure von Ohlbach, Hans Jürgen, Siekmann, Jörg H.

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Using automated reasoning techniques for deductive databasis

    Using automated reasoning techniques for deductive databasis von Ohlbach, Hans Jürgen, Siekmann, Jörg H.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Unification Algebras an axiomatic approach to unification, equation solving and constraint solving

    Unification Algebras an axiomatic approach to unification, equation solving and constraint solving von Schmidt-Schauß, Manfred, Siekmann, Jörg H.

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Künstliche Intelligenz

    Künstliche Intelligenz von Siekmann, Jörg H. 1941-

    Veröffentlicht 1984
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    T-Unification

    T-Unification von Siekmann, Jörg H.

    Veröffentlicht 1976
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    T-Unification

    T-Unification von Siekmann, Jörg H.

    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Reasoning with assertions and examples

    Reasoning with assertions and examples von Kerber, Manfred, Melis, Erica, Siekmann, Jörg H.

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Universal unification and a classification of equational theories

    Universal unification and a classification of equational theories von Siekmann, Jörg H., Szabó, Peter 1946-

    Veröffentlicht 1982
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Künstliche Intelligenz Frühjahrsschule, Teisendorf, 15. - 24. März 1982

    Künstliche Intelligenz Frühjahrsschule, Teisendorf, 15. - 24. März 1982 von Siekmann, Jörg H., Raulefs, Peter 1945-, Raulefs, Peter 1945-

    Veröffentlicht 1982
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A Noetherian rewrite system for idempotent semigroups (bands)

    A Noetherian rewrite system for idempotent semigroups (bands) von Siekmann, Jörg H., Szabó, Peter 1946-

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: