Treffer 1 – 8 von 8 für Suche 'Brzoska, Christoph', Suchdauer: 0,04s 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
    Temporal-logisches Programmieren

    Temporal-logisches Programmieren von Brzoska, Christoph

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Temporal logic programming and its relation to constraint logic programming

    Temporal logic programming and its relation to constraint logic programming von Brzoska, Christoph

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Temporal logic programming with metric and past operators based on constraint logic programming

    Temporal logic programming with metric and past operators based on constraint logic programming von Brzoska, Christoph

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Temporal logic programming with metric and past operators based on constraint logic programming

    Temporal logic programming with metric and past operators based on constraint logic programming von Brzoska, Christoph

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Temporal logic programming and its relation to constraint logic programming

    Temporal logic programming and its relation to constraint logic programming von Brzoska, Christoph

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Temporal logic programming a survey

    Temporal logic programming a survey von Brzoska, Christoph

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    LIMETTE logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual

    LIMETTE logic programming integrating metric temporal extensions ; an extension of KA-Prolog for temporal reasoning ; language specification user manual von Brzoska, Christoph, Schäfer, Karl

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Untersuchung von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus

    Untersuchung von Strategien für den Knuth-Bendix-Vervollständigungsalgorithmus von Brzoska, Christoph

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: