Erakusten 1 - 10 emaitzak -- 40 bilaketa honetara '"Journal of symbolic computation."', Bilaketaren denbora: 0,01s Findu emaitzak
  1. 1

    Journal of symbolic computation.

    Argitaratua 1996
    Liburua

    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. nork Velev, Miroslav N.

    Argitaratua izan da Journal of symbolic computation.
    Artikulua

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

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

    Argitaratua izan da Journal of symbolic computation.
    Artikulua

    Computing left Kan extensions.
  5. 5

    A database of categories. nork Fleming, Michael

    Argitaratua izan da Journal of symbolic computation.
    Artikulua

    A database of categories.
  6. 6

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

    Argitaratua izan da Journal of symbolic computation.
    Artikulua

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

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

    Argitaratua izan da Journal of symbolic computation.
    Artikulua

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

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

    Argitaratua izan da Journal of symbolic computation.
    Artikulua

    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. nork Mora, Teo

    Argitaratua izan da Journal of symbolic computation.
    Artikulua

    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. nork Brooksbank, Peter A.

    Argitaratua izan da Journal of symbolic computation.
    Artikulua

    Constructive recognition of classical groups in their natural representation.

Bilaketa egiteko lanabesak: