Treffer 1 – 10 von 10 für Suche 'Murakami, Masaki', 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
    A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes

    A declarative semantics of Flat Guarded Horn Clauses programs with perpetual processes von Murakami, Masaki

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A concurrent operational semantics of Flat GHC programs

    A concurrent operational semantics of Flat GHC programs von Murakami, Masaki

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    An axiomatic verification method for synchronizations of Guarded Horn Clauses programs

    An axiomatic verification method for synchronizations of Guarded Horn Clauses programs von Murakami, Masaki

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A declarative semantics of parallel logic programs based on failure deadlock set

    A declarative semantics of parallel logic programs based on failure deadlock set von Murakami, Masaki

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Proving partial correctness of guarded horn clauses programs

    Proving partial correctness of guarded horn clauses programs von Murakami, Masaki

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Formal semantics of a relational knowledge base

    Formal semantics of a relational knowledge base von Murakami, Masaki, Yokota, Haruo, Itoh, Hidenori

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Unfolding rules for GHC programs

    Unfolding rules for GHC programs von Furukawa, Koichi, Okumura, Akira, Murakami, Masaki

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Formal semantics of Flat GHC

    Formal semantics of Flat GHC von Ueda, Kazunori, Murakami, Masaki

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A declarative semantics of parallel logic programs with perpetual processes

    A declarative semantics of parallel logic programs with perpetual processes von Murakami, Masaki

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    A failure set semantics of Guarded Horn Clauses programs

    A failure set semantics of Guarded Horn Clauses programs von Murakami, Masaki

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: