Zobrazuji výsledky 1 - 10 z 40 pro vyhledávání '"Journal of symbolic computation."', doba hledání: 0,02 s. Upřesnit hledání
  1. 1

    Journal of symbolic computation.

    Vydáno 1996
    Kniha

    Journal of symbolic computation.
  2. 2

    Journal of symbolic computation.

    Continuing Resource

    Journal of symbolic computation.
  3. 3

    Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. Autor Velev, Miroslav N.

    Článek

    Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
  4. 4

    Computing left Kan extensions. Autor Bush, M. R.

    Článek

    Computing left Kan extensions.
  5. 5

    A database of categories. Autor Fleming, Michael

    Článek

    A database of categories.
  6. 6

    Implementing finite structures in Mathematica via a skeletal topos of finite sets. Autor Niefield, Susan B.

    Článek

    Implementing finite structures in Mathematica via a skeletal topos of finite sets.
  7. 7

    The term orderings which are compatible with composition II. Autor Liu, Jinwang

    Článek

    The term orderings which are compatible with composition II.
  8. 8

    A result on braids via the investigation of a rewriting system. Autor Burckel, Serge

    Článek

    A result on braids via the investigation of a rewriting system.
  9. 9

    On the Gröbner bases of some symmetric systems and their application to coding theory. Autor Mora, Teo

    Článek

    On the Gröbner bases of some symmetric systems and their application to coding theory.
  10. 10

    Constructive recognition of classical groups in their natural representation. Autor Brooksbank, Peter A.

    Článek

    Constructive recognition of classical groups in their natural representation.

Vyhledávací nástroje: