Treffer 1 – 5 von 5 für Suche 'Baudinet, Marianne', 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
    Logic programming semantics techniques and applications

    Logic programming semantics techniques and applications von Baudinet, Marianne

    Veröffentlicht 1989
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    On the semantics of temporal logic programming preliminary report

    On the semantics of temporal logic programming preliminary report von Baudinet, Marianne

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Logic programming semantics techniques and applications

    Logic programming semantics techniques and applications von Baudinet, Marianne

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Proving termination properties of PROLOG programs a semantic approach

    Proving termination properties of PROLOG programs a semantic approach von Baudinet, Marianne

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Temporal logic programming is complete and expressive

    Temporal logic programming is complete and expressive von Baudinet, Marianne

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: