Treffer 1 – 20 von 23 für Suche 'Kanamori, Tadashi', Suchdauer: 0,06s 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
    Abstract interpretation based on OLDT resolution

    Abstract interpretation based on OLDT resolution von Kanamori, Tadashi, Kawamura, Tadashi

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Alexander parser

    Alexander parser von Kanamori, Tadashi

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Abstract interpretation based on Alexander Templates

    Abstract interpretation based on Alexander Templates von Kanamori, Tadashi

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    GHC program diagnosis using atom behavior

    GHC program diagnosis using atom behavior von Ueno, Machi, Kanamori, Tadashi

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Detecting termination of logic programs based on abstract hybrid interpretation

    Detecting termination of logic programs based on abstract hybrid interpretation von Kanamori, Tadashi, Kawamura, Tadashi, Horiuchi, Kenji

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    A preliminary note on the semantics of Guarded Horn Clauses

    A preliminary note on the semantics of Guarded Horn Clauses von Kanamori, Tadashi, Maeji, Machi

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    On parallel programming methodology in GHC

    On parallel programming methodology in GHC von Takahashi, Kazuko, Kanamori, Tadashi

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Computation by meta-unification with constructors

    Computation by meta-unification with constructors von Kanamori, Tadashi

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Incorporating generalization heuristics into verification of Prolog programs

    Incorporating generalization heuristics into verification of Prolog programs von Seki, Hirohisa, Kanamori, Tadashi

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Verification of Prolog programs using an extension of execution

    Verification of Prolog programs using an extension of execution von Kanamori, Tadashi, Seki, Hirohisa

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Top-down zooming diagnosis of logic programs

    Top-down zooming diagnosis of logic programs von Maeji, Machi, Kanamori, Tadashi

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Derivation of logic programs from implicit definition

    Derivation of logic programs from implicit definition von Kanamori, Tadashi, Maeji, Machi

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Polymorphic type inference in Prolog by abstract interpretation

    Polymorphic type inference in Prolog by abstract interpretation von Horiuchi, Kenji, Kanamori, Tadashi

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Features of a meta-unification based language Talos

    Features of a meta-unification based language Talos von Kanamori, Tadashi

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    A fixpoint semantics of Guarded Horn Clauses

    A fixpoint semantics of Guarded Horn Clauses von Kanamori, Tadashi, Ueno, Machi

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Detecting functionality of logic programs based on abstract hybrid interpre

    Detecting functionality of logic programs based on abstract hybrid interpre von Kanamori, Tadashi, Horiuchi, Kenji, Kawamura, Tadashi

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Preservation of stronger equivalence in unfold fold logic program transformation

    Preservation of stronger equivalence in unfold fold logic program transformation von Kanamori, Tadashi, Kawamura, Tadashi

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Analyzing success patterns of logic programs by abstract hybrid interpretation

    Analyzing success patterns of logic programs by abstract hybrid interpretation von Kanamori, Tadashi, Kawamura, Tadashi

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Construction of logic programs based on generalized unfold fold rules

    Construction of logic programs based on generalized unfold fold rules von Kanamori, Tadashi, Horiuchi, Kenji

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    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 Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: