Вы здесь

Главная

J. Symbolic Computation

Связанные издания:

AC-Unification Race: The System Solving Approach, Implementation and Benchmarks
Combining Symbolic Constraint Solvers on Algebraic Domains