Suchergebnisse - Hasegawa, Ryuzo

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

    Bottom-up modal theorem provers based on modal clause transformation
    von Akahani, Junichi, Inoue, Katsumi, Hasegawa, Ryuzo

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Magic sets and bottom-up evaluation of stable model
    von Fujita, Masayuki, Iwayama, Noboru, Hasegawa, Ryuzo

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A parallel theorem prover in KL1 and its application to program synthesis
    von Hasegawa, Ryuzo, Fujita, Hiroshi, Fujita, Masayuki

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Constraint propagation of CP and CMGTP: experiments on quasigroup problems
    von Hasegawa, Ryuzo, Shirai, Yasuyuki

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  8. 8
    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:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    New results in mathematics by a parallel theorem prover on the parallel inference machine: (abstract)
    von Fujita, Masayuki, Slaney, John K., Hasegawa, Ryuzo

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    A model generation theorem prover in KL1 using a ramified-stack algorithm
    von Fujita, Hiroshi, Hasegawa, Ryuzo

    Veröffentlicht 1990
    Buch


    Gespeichert in:

Suchwerkzeuge: