gefundene Verfasser FUJITA, Hiroshi

Fujita, Hiroshi
Hasegawa, Ryuzo
Furukawa, Koichi
Koshimura, Miyuki
Fujita, Kaori 1971-2018
Alle anzeigen »
Fujita, Susumu 1912-1990
Ishizaki, Hiroshi 1958-
Saito, Norikazu
Suzuki, Takashi
Asami 1977-

Treffer 1 - 20 von 42 für Suche 'FUJITA, Hiroshi', Suchdauer: 1,17s Treffer weiter einschränken
  1. 1
    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

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Polymer solutions

    Polymer solutions von Fujita, Hiroshi

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Polymer solutions

    Polymer solutions von Fujita, Hiroshi

    Veröffentlicht 1990
    FAW01
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Parallel unification and meta-interpreters in GHC

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

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A self-applicable partial ewvaluator and its use in incremental compilation

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

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    An algorithm for partial evaluation with constraints

    An algorithm for partial evaluation with constraints von Fujita, Hiroshi

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Unfold fold transformation of logic programs with counters

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

    Veröffentlicht 1986
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Engeki nenpyō [Shōwa 39-nen 12-gatsu--43-nen 12-gatsu]

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

    Veröffentlicht 1969
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Mathematical theory of sedimentation analysis

    Mathematical theory of sedimentation analysis von Fujita, Hiroshi

    Veröffentlicht 1962
    FAW01
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Operator theory and numerical methods

    Operator theory and numerical methods von Fujita, Hiroshi

    Veröffentlicht 2001
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  11. 11
    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

    Zu den Favoriten
    Gespeichert in:
  12. 12
    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

    Zu den Favoriten
    Gespeichert in:
  13. 13
    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

    Zu den Favoriten
    Gespeichert in:
  14. 14
    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

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Competitive partial evaluation some remaining problems of partial evaluation

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    FGHC partial evaluator as a general purpose parallel compiler

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

    Veröffentlicht 1988
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Operator theory and numerical methods

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

    Veröffentlicht 2006
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Proceedings of the Ninth International Congress on Mathematical Education 2000 Makuhari Japan

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

    Veröffentlicht 2004
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Operator theory and numerical methods

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

    Veröffentlicht 2001
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Deriving an efficient production system by partial evaluation

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

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: