Suchergebnisse - Menju, Satoshi

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    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:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    A parallel algorithm for inheritance hierarchies with constraints
    von Menju, Satoshi, Itoh, Hidenori, Morita, Yukihiro

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:

Suchwerkzeuge: