Suchergebnisse - Koshimura, Miyuki

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

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    LK-to-NK transformation
    von Koshimura, Miyuki

    Veröffentlicht 1989
    Buch


    Gespeichert in:

Suchwerkzeuge: