Treffer 1 – 11 von 11 für Suche 'Hasegawa, Ryuzo', Suchdauer: 0,05s 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
    Bottom-up modal theorem provers based on modal clause transformation

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Magic sets and bottom-up evaluation of stable model

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Embedding negation as failure into a model generation theorem prover

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Constraint propagation of CP and CMGTP experiments on quasigroup problems

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Modal propositional tableaux in a model generation theorem prover

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Lazy model generation for implementing efficient theorem provers

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Lazy model generation for improving the efficiency of forward reasoning theorem provers

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    MGTP, a parallel theorem prover based on lazy model generation

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    New results in mathematics by a parallel theorem prover on the parallel inference machine (abstract)

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


    Gespeichert in:
  10. 10
    A model generation theorem prover in KL1 using a ramified-stack algorithm

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    A parallel theorem prover in KL1 and its application to program synthesis

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: