Mostra 1 - 10 risultati di 40 ricerca '"Journal of symbolic computation."', tempo di risposta: 0,02s Raffina i risultati
  1. 1

    Journal of symbolic computation.

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

    Articolo

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

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

    Articolo

    Computing left Kan extensions.
  5. 5

    A database of categories. di Fleming, Michael

    Articolo

    A database of categories.
  6. 6

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

    Articolo

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

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

    Articolo

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

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

    Articolo

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

    Articolo

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

    Articolo

    Constructive recognition of classical groups in their natural representation.

Strumenti per la ricerca: