Treffer 1 – 12 von 12 für Suche 'Mukai, Kuniaki', Suchdauer: 0,03s 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
    Constraint logic programming and the unification of information

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Partial unification over records

    Partial unification over records von Mukai, Kuniaki

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


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

    Unification over complex indeterminates in Prolog von Mukai, Kuniaki

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


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

    Record algebra model for feature structures von Mukai, Kuniaki

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Anadic tuples in Prolog

    Anadic tuples in Prolog von Mukai, Kuniaki

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: