Treffer 1 – 12 von 12 für Suche 'Seki, Hirohisa', 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
    Possible model semantics for disjunctive databases

    Possible model semantics for disjunctive databases von Sakama, Chiaki, Seki, Hirohisa

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Knowledge base system in a logic programming paradigm

    Knowledge base system in a logic programming paradigm von Itoh, Hidenori, Monoi, Hidetoshi, Seki, Hirohisa

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    An algorithm for finding a query which discriminates competing hypotheses

    An algorithm for finding a query which discriminates competing hypotheses von Seki, Hirohisa, Takeuchi, Akikazu

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On a recursive query processing method for deductive databases

    On a recursive query processing method for deductive databases von Seki, Hirohisa

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Notes on transformation techniques for generate and test logic programs

    Notes on transformation techniques for generate and test logic programs von Seki, Hirohisa, Furukawa, Koichi

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Unfold fold transformation of stratified programs

    Unfold fold transformation of stratified programs von Seki, Hirohisa

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A comparative study of the well-founded and the stable model semantics transformation's viewpoint

    A comparative study of the well-founded and the stable model semantics transformation's viewpoint von Seki, Hirohisa

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    An evaluation method for stratified programs under the extended closed world assumption

    An evaluation method for stratified programs under the extended closed world assumption von Seki, Hirohisa, Itoh, Hidenori

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Knowledge base system toward logic programming and parallel processing paradigms

    Knowledge base system toward logic programming and parallel processing paradigms von Itoh, Hidenori, Monoi, Hidetoshi, Seki, Hirohisa

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Unfold fold transformation of stratified programs

    Unfold fold transformation of stratified programs von Seki, Hirohisa

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Incorporating generalization heuristics into verification of Prolog programs

    Incorporating generalization heuristics into verification of Prolog programs von Seki, Hirohisa, Kanamori, Tadashi

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Verification of Prolog programs using an extension of execution

    Verification of Prolog programs using an extension of execution von Kanamori, Tadashi, Seki, Hirohisa

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: