Prikaz rezultata 1 – 10 od 40 za pretragu '"Journal of symbolic computation."', vrijeme upita: 0,02s Detaljiziraj rezultate
  1. 1

    Journal of symbolic computation.

    Izdano 1996
    Knjiga

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

    Članak

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

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

    Članak

    Computing left Kan extensions.
  5. 5

    A database of categories. od Fleming, Michael

    Članak

    A database of categories.
  6. 6

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

    Članak

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

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

    Članak

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

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

    Članak

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

    Članak

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

    Članak

    Constructive recognition of classical groups in their natural representation.

Alati za pretragu: