Suchergebnisse - Brzoska, Christoph

  • Treffer 1 – 8 von 8
Treffer filtern
  1. 1
    Buchumschlag

    Temporal-logisches Programmieren
    von Brzoska, Christoph

    Veröffentlicht 1993
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    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


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Temporal logic programming: a survey
    von Brzoska, Christoph

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:

Suchwerkzeuge: