Treffer 1 – 19 von 19 für Suche 'Sakai, Ko', Suchdauer: 0,07s 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
    Complete equational unification based on an extension of the Knuth-Bendix completion procedure

    Complete equational unification based on an extension of the Knuth-Bendix completion procedure von Ohsuga, Akihito, Sakai, Ko

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Metis, a term rewriting system generator

    Metis, a term rewriting system generator von Ohsuga, Akihiko, Sakai, Ko

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Complete E-unification based on an extension of the Knuth-Bendix completion procedure

    Complete E-unification based on an extension of the Knuth-Bendix completion procedure von Ohsuga, A., Sakai, Ko

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Zero-point theorem for the Boolean polynomial ring

    Zero-point theorem for the Boolean polynomial ring von Sakai, Ko, Sato, Yosuke

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Toward mechanization of mathematics

    Toward mechanization of mathematics von Sakai, Ko

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Introduction to CAL

    Introduction to CAL von Sakai, Ko, Aiba, Akira

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Removing redundant critical polynomials in construction of Boolean Gröbner bases

    Removing redundant critical polynomials in construction of Boolean Gröbner bases von Sato, Yosuke, Menju, Satoshi, Sakai, Ko

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    CAL, a theoretical background of constraint logic programming and its applications

    CAL, a theoretical background of constraint logic programming and its applications von Sakai, Ko, Aiba, Akira

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    SetCAL, a solver of set constraint in CAL system

    SetCAL, a solver of set constraint in CAL system von Sato, Yosuke, Sakai, Ko, Menju, Satoshi

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Efficient implementation of basic narrowing

    Efficient implementation of basic narrowing von Ohsuga, Akihiko, Sakai, Ko

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Boolean Groebner bases

    Boolean Groebner bases von Sakai, Ko, Sato, Yosuke

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Deductive database system based on unit resolution

    Deductive database system based on unit resolution von Yokota, Haruo, Sakai, Ko, Itoh, Hidenori

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Knuth-Bendix algorithm for Thue system based on kachinuki ordering

    Knuth-Bendix algorithm for Thue system based on kachinuki ordering von Sakai, Ko

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Incorporating naive negation into Prolog

    Incorporating naive negation into Prolog von Sakai, Ko, Miyachi, Taizo

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Boolean Gröbner bases

    Boolean Gröbner bases von Sakai, Ko, Sato, Yosuke, Menju, Satoshi

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Solving constraints over sets by Boolean Gröbner bases

    Solving constraints over sets by Boolean Gröbner bases von Sato, Yosuke, Menju, Satoshi, Sakai, Ko

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    CAL, a theoretical background of constraint logic programming and its applications

    CAL, a theoretical background of constraint logic programming and its applications von Sakai, Ko, Aiba, Akira

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    An approach to proof checker

    An approach to proof checker von Hirose, Ken, Yokota, Kazumasa, Sakai, Ko

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    An ordering method for term rewriting systems

    An ordering method for term rewriting systems von Sakai, Ko

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: