Treffer 1 – 11 von 11 für Suche 'Bol, Roland N.', Suchdauer: 0,05s 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
    Generalizing completeness results for loop checks

    Generalizing completeness results for loop checks von Bol, Roland N.

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    An analysis of loop checking mechanisms for logic programs

    An analysis of loop checking mechanisms for logic programs von Bol, Roland N., Apt, Krzysztof R. 1949-, Klop, Jan Willem 1945-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Loop checking in partial deduction

    Loop checking in partial deduction von Bol, Roland N.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Towards more efficient loop checks

    Towards more efficient loop checks von Bol, Roland N.

    Veröffentlicht 1990
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    On the safe termination of PROLOG programs

    On the safe termination of PROLOG programs von Apt, Krzysztof R. 1949-, Bol, Roland N., Klop, Jan Willem 1945-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Loop checking in logic programming

    Loop checking in logic programming von Bol, Roland N.

    Veröffentlicht 1995
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Logic programming and negation a survey

    Logic programming and negation a survey von Apt, Krzysztof R. 1949-, Bol, Roland N.

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Loop checking in logic programming

    Loop checking in logic programming von Bol, Roland N.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Loop checking in partial deduction

    Loop checking in partial deduction von Bol, Roland N.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Loop checking and negation

    Loop checking and negation von Bol, Roland N.

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Loop checking and negation

    Loop checking and negation von Bol, Roland N.

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: