Näytetään 1 - 10 yhteensä 40 tuloksesta haulle '"Journal of symbolic computation."', hakuaika: 0,02s Tarkenna hakua
  1. 1

    Journal of symbolic computation.

    Julkaistu 1996
    Kirja

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

    Artikkeli

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

    Computing left Kan extensions. Tekijä Bush, M. R.

    Artikkeli

    Computing left Kan extensions.
  5. 5

    A database of categories. Tekijä Fleming, Michael

    Artikkeli

    A database of categories.
  6. 6

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

    Artikkeli

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

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

    Artikkeli

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

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

    Artikkeli

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

    Artikkeli

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

    Artikkeli

    Constructive recognition of classical groups in their natural representation.

Työkalut: