Suchergebnisse - Seki, Hirohisa

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

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Unfold fold transformation of stratified programs
    von Seki, Hirohisa

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Unfold fold transformation of stratified programs
    von Seki, Hirohisa

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1986
    Buch


    Gespeichert in:

Suchwerkzeuge: