The Decision Method for Real Algebra: Is It Practical?
$23.00
{{option.name}}:
{{selected_options[option.position]}}
{{value_obj.value}}
Presentation of Tarski's decision procedure in a modified form. The procedure is reduced to three basic methods. Each method processes a basic formula of Real Algebra.
Show More
Show Less