Treffer 1 – 9 von 9 für Suche 'Takahashi, Kazuko', 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
    On QFTL and the refutation procedure on omega-graphs

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Bug detection method over AND OR computation tree

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A parallel problem solving language ANDOR-II and its parallel implementation

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    An operational semantics of and-or-parallel logic programming language, ANDOR-II

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    A description language with AND OR parallelism for concurrent systems and its stream-based realization

    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 Fernleihe Bestellen


    Gespeichert in:
  6. 6
    On parallel programming methodology in GHC experience in programming of a proof procedure of temporal logic

    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 Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Derivation of the parallel bottom-up parser from the sequential parser

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A debugger for AND OR parallel logic programming language ANDOR-II

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    On parallel programming methodology in GHC

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

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: