প্রদর্শন 1 - 10 ফলাফল এর 40 অনুসন্ধানের জন্য '"Journal of symbolic computation."', জিজ্ঞাসা করার সময়: 0.02সেকেন্ড ফলাফল পরিমার্জন করুন
  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.

অনুসন্ধান সাধনীগুলি: