Отображение 1 - 10 результаты of 40 для поиска '"Journal of symbolic computation."', время запроса: 0.01сек. Отмена результатов
  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.

Инструменты поиска: