Вы здесь

Главная

резолюция

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

Constraint-Based Reasoning
Dissolution: Making Paths Vanish
Resolution Methods for the Decision Problem
Unification in Commutative Theories, Hilbert s Basis Theorem, and Groibner Bases
Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms