Εμφανίζονται 1 - 10 Αποτελέσματα από 40 για την αναζήτηση '"Journal of symbolic computation."', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1

    Journal of symbolic computation.

    Έκδοση 1996
    Βιβλίο

    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. ανά Velev, Miroslav N.

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

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

    Computing left Kan extensions. ανά Bush, M. R.

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

    Computing left Kan extensions.
  5. 5

    A database of categories. ανά Fleming, Michael

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

    A database of categories.
  6. 6

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

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

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

    The term orderings which are compatible with composition II. ανά Liu, Jinwang

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

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

    A result on braids via the investigation of a rewriting system. ανά Burckel, Serge

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

    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. ανά Mora, Teo

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

    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. ανά Brooksbank, Peter A.

    Τόπος έκδοσης Journal of symbolic computation.
    Άρθρο

    Constructive recognition of classical groups in their natural representation.

Εργαλεία αναζήτησης: