Gösterilen 1 - 10 sonuçlar arası kayıtlar. 40 sonuç. Aranan kelime '"Journal of symbolic computation."', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 1

    Journal of symbolic computation.

    Baskı/Yayın Bilgisi 1996
    Kitap

    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. Yazar: Velev, Miroslav N.

    Makale

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

    Computing left Kan extensions. Yazar: Bush, M. R.

    Makale

    Computing left Kan extensions.
  5. 5

    A database of categories. Yazar: Fleming, Michael

    Makale

    A database of categories.
  6. 6

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

    Makale

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

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

    Makale

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

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

    Makale

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

    Makale

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

    Makale

    Constructive recognition of classical groups in their natural representation.

Arama Araçları: