Đang hiển thị 1 - 10 kết quả của 40 cho tìm kiếm '"Journal of symbolic computation."', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 1

    Journal of symbolic computation.

    Được phát hành 1996
    Sách

    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. Bằng Velev, Miroslav N.

    Bài viết

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

    Computing left Kan extensions. Bằng Bush, M. R.

    Bài viết

    Computing left Kan extensions.
  5. 5

    A database of categories. Bằng Fleming, Michael

    Bài viết

    A database of categories.
  6. 6

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

    Bài viết

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

    The term orderings which are compatible with composition II. Bằng Liu, Jinwang

    Bài viết

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

    A result on braids via the investigation of a rewriting system. Bằng Burckel, Serge

    Bài viết

    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. Bằng Mora, Teo

    Bài viết

    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. Bằng Brooksbank, Peter A.

    Bài viết

    Constructive recognition of classical groups in their natural representation.

Công cụ tìm kiếm: