Treffer 1 - 18 von 18 für Suche 'Herre, Heinrich', Suchdauer: 0,45s Treffer weiter einschränken
  1. 1
    Partial logics with two kinds of negation as a foundation for knowledge based reasoning

    Partial logics with two kinds of negation as a foundation for knowledge based reasoning von Herre, Heinrich

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Konstruktive Resolutionsmethoden

    Konstruktive Resolutionsmethoden von Herre, Heinrich

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The theory of linear ordering in logics with cardinality quantifiers

    The theory of linear ordering in logics with cardinality quantifiers von Herre, Heinrich, Wolter, Helmut

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Entscheidungsprobleme in der elementaren Theorie einer zweistelligen Relation

    Entscheidungsprobleme in der elementaren Theorie einer zweistelligen Relation von Herre, Heinrich

    Veröffentlicht 1972
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Mathematische Grundlagen der logischen Programmierung

    Mathematische Grundlagen der logischen Programmierung von Goltz, Hans-Joachim, Herre, Heinrich

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Mathematische Grundlagen der logischen Programmierung

    Mathematische Grundlagen der logischen Programmierung von Goltz, Hans-Joachim, Herre, Heinrich

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    The theory of linear ordering in logics with cardinality quantifiers

    The theory of linear ordering in logics with cardinality quantifiers von Herre, Heinrich, Wolter, Helmut

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Entscheidungsprobleme für Theorien in Logiken mit verallgemeinerten Quantoren

    Entscheidungsprobleme für Theorien in Logiken mit verallgemeinerten Quantoren von Herre, Heinrich

    Veröffentlicht 1976
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Entscheidungsprobleme für Theorien in nichtelementaren Logiken

    Entscheidungsprobleme für Theorien in nichtelementaren Logiken von Hauschild, Kurt, Herre, Heinrich

    Veröffentlicht 1976
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Partial logics with two kinds of negation as a foundation for knowledge based reasoning

    Partial logics with two kinds of negation as a foundation for knowledge based reasoning von Herre, Heinrich, Jaspars, Jan O. M., Wagner, Gerd

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Grundlagen der logischen Programmierung

    Grundlagen der logischen Programmierung von Goltz, Hans-Joachim, Herre, Heinrich

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Mathematische Grundlagen der logischen Programmierung

    Mathematische Grundlagen der logischen Programmierung von Goltz, Hans-Joachim, Herre, Heinrich

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    The theory of linear ordering in logics with cardinality quantifiers

    The theory of linear ordering in logics with cardinality quantifiers von Herre, Heinrich, Wolter, Helmut

    Veröffentlicht 1980
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Entscheidungsprobleme für Theorien in nichtelementaren Logiken

    Entscheidungsprobleme für Theorien in nichtelementaren Logiken von Hauschild, Kurt, Herre, Heinrich

    Veröffentlicht 1976
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    The theory of linear ordering in logics with cardinality quantifiers

    The theory of linear ordering in logics with cardinality quantifiers von Herre, Heinrich, Wolter, Helmut

    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    The theory of linear ordering in logics with cardinality quantifiers

    The theory of linear ordering in logics with cardinality quantifiers von Herre, Heinrich, Wolter, Helmut

    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Entscheidungsprobleme für Theorien in nichtelementaren Logiken

    Entscheidungsprobleme für Theorien in nichtelementaren Logiken von Hauschild, Kurt, Herre, Heinrich

    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Workshop on Extended Model Theory, Berlin, Nov. 1980

    Workshop on Extended Model Theory, Berlin, Nov. 1980

    Veröffentlicht 1981
    Weitere Verfasser: “… Herre, Heinrich …”
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: