Suchergebnisse - Mukai, Kuniaki

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

    Constraint logic programming and the unification of information
    von Mukai, Kuniaki

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Partial unification over records
    von Mukai, Kuniaki

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Unification over complex indeterminates in Prolog
    von Mukai, Kuniaki

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Record algebra model for feature structures
    von Mukai, Kuniaki

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Unification in final coalgebras: (extended abstract)
    von Mukai, Kuniaki

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Coinductive semantics of Horn Clauses with compact constraint
    von Mukai, Kuniaki

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Horn clause logic with parameterized types for situation semantics programming
    von Mukai, Kuniaki

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    A system of logic programming for linguistic analysis
    von Mukai, Kuniaki

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Partially specified term in logic programming for linguistic analysis
    von Mukai, Kuniaki

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Anadic tuples in Prolog
    von Mukai, Kuniaki

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Constraint analysis on Japanese depending structure
    von Sugimura, Ryoichi, Mukai, Kuniaki

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    An ordered linear resolution theorem proving program in Prolog
    von Mukai, Kuniaki, Furukawa, Koichi

    Veröffentlicht 1983
    Buch


    Gespeichert in:

Suchwerkzeuge: