1 - 10 toradh á dtaispeáint as 40 toradh san iomlán ar an gcuardach '"Journal of symbolic computation."', am iarratais: 0.01s Beachtaigh na torthaí
  1. 1

    Journal of symbolic computation.

    Foilsithe / Cruthaithe 1996
    LEABHAR

    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. de réir Velev, Miroslav N.

    Alt

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

    Computing left Kan extensions. de réir Bush, M. R.

    Alt

    Computing left Kan extensions.
  5. 5

    A database of categories. de réir Fleming, Michael

    Alt

    A database of categories.
  6. 6

    Implementing finite structures in Mathematica via a skeletal topos of finite sets. de réir Niefield, Susan B.

    Alt

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

    The term orderings which are compatible with composition II. de réir Liu, Jinwang

    Alt

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

    A result on braids via the investigation of a rewriting system. de réir Burckel, Serge

    Alt

    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. de réir Mora, Teo

    Alt

    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. de réir Brooksbank, Peter A.

    Alt

    Constructive recognition of classical groups in their natural representation.

Uirlisí cuardaigh: