Search Results - Koshimura, Miyuki

  • Showing 1 – 8 results of 8
Filter by
  1. 1
    Cover Image

    Applied satisfiability: cryptography, scheduling and coalitional games
    by Liao, Xiaojuan

    Published 2025
    Other Authors: “…Koshimura, Miyuki…”
    Read online
    Electronic eBook


    Saved in:
  2. 2
    Cover Image

    Embedding negation as failure into a model generation theorem prover
    by Inoue, Katsumi, Koshimura, Miyuki, Hasegawa, Ryuzo

    Published 1991
    Book


    Saved in:
  3. 3
    Cover Image

    State mode analyses of concurrent logic languages
    by Tick, Evan, Koshimura, Miyuki

    Published 1994
    Book


    Saved in:
  4. 4
    Cover Image

    Modal propositional tableaux in a model generation theorem prover
    by Koshimura, Miyuki, Hasegawa, Ryuzo

    Published 1993
    Book


    Saved in:
  5. 5
    Cover Image

    Lazy model generation for implementing efficient theorem provers
    by Hasegawa, Ryuzo, Koshimura, Miyuki, Fujita, Hiroshi

    Published 1992
    Book


    Saved in:
  6. 6
    Cover Image

    Lazy model generation for improving the efficiency of forward reasoning theorem provers
    by Hasegawa, Ryuzo, Koshimura, Miyuki, Fujita, Hiroshi

    Published 1992
    Book


    Saved in:
  7. 7
    Cover Image

    MGTP, a parallel theorem prover based on lazy model generation
    by Hasegawa, Ryuzo, Koshimura, Miyuki, Fujita, Hiroshi

    Published 1992
    Book


    Saved in:
  8. 8
    Cover Image

    LK-to-NK transformation
    by Koshimura, Miyuki

    Published 1989
    Book


    Saved in:

Search Tools: