Showing 1 - 10 results of 40 for search '"Journal of symbolic computation."', 查詢時間: 0.01s Refine Results
  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.

    Article

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

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

    Article

    Computing left Kan extensions.
  5. 5

    A database of categories. 由 Fleming, Michael

    Article

    A database of categories.
  6. 6

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

    Article

    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

    Article

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

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

    Article

    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

    Article

    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.

    Article

    Constructive recognition of classical groups in their natural representation.

檢索工具: