Suchergebnisse - Sakai, Ko

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

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Toward mechanization of mathematics
    von Sakai, Ko

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Introduction to CAL
    von Sakai, Ko, Aiba, Akira

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1987
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    An ordering method for term rewriting systems
    von Sakai, Ko

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Boolean Groebner bases
    von Sakai, Ko, Sato, Yosuke

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:

Suchwerkzeuge: