Showing 1 - 10 results of 40 for search '"Journal of symbolic computation."', זמן שאילתה: 0.02s Refine Results
  1. 1

    Journal of symbolic computation.

    יצא לאור 1996
    ספר

    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. מאת Velev, Miroslav N.

    הוצא לאור ב Journal of symbolic computation.
    Article

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

    Computing left Kan extensions. מאת Bush, M. R.

    הוצא לאור ב Journal of symbolic computation.
    Article

    Computing left Kan extensions.
  5. 5

    A database of categories. מאת Fleming, Michael

    הוצא לאור ב Journal of symbolic computation.
    Article

    A database of categories.
  6. 6

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

    הוצא לאור ב Journal of symbolic computation.
    Article

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

    The term orderings which are compatible with composition II. מאת Liu, Jinwang

    הוצא לאור ב Journal of symbolic computation.
    Article

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

    A result on braids via the investigation of a rewriting system. מאת Burckel, Serge

    הוצא לאור ב Journal of symbolic computation.
    Article

    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. מאת Mora, Teo

    הוצא לאור ב Journal of symbolic computation.
    Article

    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. מאת Brooksbank, Peter A.

    הוצא לאור ב Journal of symbolic computation.
    Article

    Constructive recognition of classical groups in their natural representation.

כלי חיפוש: