Suchergebnisse - Takahashi, Kazuko

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

    On QFTL and the refutation procedure on omega-graphs
    von Fusaoka, Akira, Takahashi, Kazuko

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Bug detection method over AND OR computation tree
    von Takahashi, Kazuko

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    A parallel problem solving language ANDOR-II and its parallel implementation
    von Takahashi, Kazuko, Takeuchi, Akikazu

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    An operational semantics of and-or-parallel logic programming language, ANDOR-II
    von Takeuchi, Akikazu, Takahashi, Kazuko

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A description language with AND OR parallelism for concurrent systems and its stream-based realization
    von Takeuchi, Akikazu, Takahashi, Kazuko, Shimizu, Hiroyuki

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    On parallel programming methodology in GHC: experience in programming of a proof procedure of temporal logic
    von Takahashi, Kazuko, Kanamori, Tadashi

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Derivation of the parallel bottom-up parser from the sequential parser
    von Takahashi, Kazuko

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    A debugger for AND OR parallel logic programming language ANDOR-II
    von Takahashi, Kazuko, Takeuchi, Akikazu

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    On parallel programming methodology in GHC
    von Takahashi, Kazuko, Kanamori, Tadashi

    Veröffentlicht 1986
    Buch


    Gespeichert in:

Suchwerkzeuge: