Mostrando 1 - 10 Resultados de 40 Para Buscar '"Journal of symbolic computation."', tiempo de consulta: 0.02s Limitar resultados
  1. 1

    Journal of symbolic computation.

    Publicado 1996
    Libro

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

    Artículo

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

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

    Artículo

    Computing left Kan extensions.
  5. 5

    A database of categories. por Fleming, Michael

    Artículo

    A database of categories.
  6. 6

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

    Artículo

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

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

    Artículo

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

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

    Artículo

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

    Artículo

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

    Artículo

    Constructive recognition of classical groups in their natural representation.

Herramientas de búsqueda: