Suchergebnisse - Fujita, Hiroshi

Treffer filtern
  1. 1
    Buchumschlag

    Parallel unification and meta-interpreters in GHC
    von Fujita, Hiroshi

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A self-applicable partial ewvaluator and its use in incremental compilation
    von Fujita, Hiroshi, Furukawa, Koichi

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    An algorithm for partial evaluation with constraints
    von Fujita, Hiroshi

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Unfold fold transformation of logic programs with counters
    von Kanamori, Tadashi, Fujita, Hiroshi

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Proceedings of the Ninth International Congress on Mathematical Education: 2000 Makuhari Japan
    von Fujita, Hiroshi

    Veröffentlicht 2004
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Operator theory and numerical methods
    von Fujita, Hiroshi, Saito, Norikazu, Suzuki, Takashi

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch


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

    Deriving an efficient production system by partial evaluation
    von Furukawa, Koichi, Fujita, Hiroshi

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Partial evaluation of GHC programs based on UR-set with constraint solving
    von Fujita, Hiroshi, Okumura, Akira, Furukawa, Koichi

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Abstract interpretation and partial evaluation of Prolog programs
    von Fujita, Hiroshi

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Foundations of ultracentrifugal analysis
    von Fujita, Hiroshi

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Mathematical theory of sedimentation analysis
    von Fujita, Hiroshi 1922-

    Veröffentlicht 1962
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  14. 14
    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:
  15. 15
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Competitive partial evaluation: some remaining problems of partial evaluation
    von Takeuchi, Akikazu, Fujita, Hiroshi

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    FGHC partial evaluator as a general purpose parallel compiler
    von Fujita, Hiroshi

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

    Engeki nenpyō: [Shōwa 39-nen 12-gatsu--43-nen 12-gatsu]
    演劇年表 [昭和39年12月-43年12月]
    von Fujita, Hiroshi 1933-

    Veröffentlicht 1969
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

    Engeki nempyō
    von Fujita, Hiroshi

    Veröffentlicht 1969
    Buch


    Gespeichert in:

Suchwerkzeuge: