Treffer 1 – 7 von 7 für Suche 'Teusink, Frank', 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
    A proof procedure for extended logic programs

    A proof procedure for extended logic programs von Teusink, Frank

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Three-valued completion for abductive logic programs

    Three-valued completion for abductive logic programs von Teusink, Frank

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A characterization of stable models using a non-monotonic operator

    A characterization of stable models using a non-monotonic operator von Teusink, Frank

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Comparing negation in logic programming and in Prolog

    Comparing negation in logic programming and in Prolog von Apt, Krzysztof R. 1949-, Teusink, Frank

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Three-valued completion for abductive logic programs

    Three-valued completion for abductive logic programs von Teusink, Frank

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A characterization of stable models using a non-monotonic operator

    A characterization of stable models using a non-monotonic operator von Teusink, Frank

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A proof procedure for extended logic programs

    A proof procedure for extended logic programs von Teusink, Frank

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: