يعرض 1 - 10 نتائج من 40 نتيجة بحث عن '"Journal of symbolic computation."', وقت الاستعلام: 0.02s تنقيح النتائج
  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.

أدوات البحث: