Treffer 1 – 15 von 15 für Suche 'Goltz, Hans-Joachim', 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
    Controlling deduction through declarative constructs

    Controlling deduction through declarative constructs von Goltz, Hans-Joachim

    Veröffentlicht 1993

    Volltext öffnen
    Schriftenreihe Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Types as constraints in logic programming and type constraint processing

    Types as constraints in logic programming and type constraint processing von Goltz, Hans-Joachim

    Veröffentlicht 1994

    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Die Wertanalyse und ihre Anwendung in der Wirtschaftspraxis

    Die Wertanalyse und ihre Anwendung in der Wirtschaftspraxis von Goltz, Hans-Joachim

    Veröffentlicht 1970
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Problemlösen mit constraintbasierter Programmierung

    Problemlösen mit constraintbasierter Programmierung von Goltz, Hans-Joachim

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Planung ressourcenschonender Produktionsprozesse

    Planung ressourcenschonender Produktionsprozesse von Geske, Ulrich, Goltz, Hans-Joachim, John, Ulrich

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Untersuchungen zur Modellierung wissenbasierter Systeme der Produktionsplanung WISPRO, wissensbasierte Produktionsplanung

    Untersuchungen zur Modellierung wissenbasierter Systeme der Produktionsplanung WISPRO, wissensbasierte Produktionsplanung von Goltz, Hans-Joachim, John, Ulrich

    Veröffentlicht 1995

    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Mathematische Grundlagen der logischen Programmierung

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Mathematische Grundlagen der logischen Programmierung

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Boolean algebras

    Boolean algebras von Weese, Martin, Goltz, Hans-Joachim

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Ein praktischer Algorithmus für die E-Unifikation

    Ein praktischer Algorithmus für die E-Unifikation von Goltz, Hans-Joachim

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Grundlagen der logischen Programmierung

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Mathematische Grundlagen der logischen Programmierung

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Untersuchungen zur Lindenbaumalgebra der Theorie der linearen Ordnungen mit verallgemeinerten Quantoren

    Untersuchungen zur Lindenbaumalgebra der Theorie der linearen Ordnungen mit verallgemeinerten Quantoren von Goltz, Hans-Joachim

    Veröffentlicht 1982
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Untersuchungen zur Lindenbaumalgebra der Theorie der linearen Ordnungen mit verallgemeinerten Quantoren

    Untersuchungen zur Lindenbaumalgebra der Theorie der linearen Ordnungen mit verallgemeinerten Quantoren von Goltz, Hans-Joachim

    Veröffentlicht 1982
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Die Elimination verallgemeinerter Quantoren in Körpertheorien

    Die Elimination verallgemeinerter Quantoren in Körpertheorien von Goltz, Hans-Joachim

    Veröffentlicht 1979
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: