Toon 1 - 10 resultaten van 40 Voor zoekopdracht '"Journal of symbolic computation."', zoektijd: 0,03s Verfijn jouw resultaten
  1. 1

    Journal of symbolic computation.

    Gepubliceerd in 1996
    Boek

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

    Artikel

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

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

    Artikel

    Computing left Kan extensions.
  5. 5

    A database of categories. door Fleming, Michael

    Artikel

    A database of categories.
  6. 6

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

    Artikel

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

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

    Artikel

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

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

    Artikel

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

    Artikel

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

    Artikel

    Constructive recognition of classical groups in their natural representation.

Zoekinstrumenten: