Showing 1 - 12 results of 12 for search 'Mukai, Kuniaki', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Constraint logic programming and the unification of information

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

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Partial unification over records

    Partial unification over records by Mukai, Kuniaki

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Unification over complex indeterminates in Prolog

    Unification over complex indeterminates in Prolog by Mukai, Kuniaki

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Record algebra model for feature structures

    Record algebra model for feature structures by Mukai, Kuniaki

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Unification in final coalgebras (extended abstract)

    Unification in final coalgebras (extended abstract) by Mukai, Kuniaki

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Coinductive semantics of Horn Clauses with compact constraint

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

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Horn clause logic with parameterized types for situation semantics programming

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

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    A system of logic programming for linguistic analysis

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

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Partially specified term in logic programming for linguistic analysis

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

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Anadic tuples in Prolog

    Anadic tuples in Prolog by Mukai, Kuniaki

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Constraint analysis on Japanese depending structure

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

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    An ordered linear resolution theorem proving program in Prolog

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

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: