Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable

Tytuł:
Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable
Czasopismo:
Rok:
2011

Strony:
315-326

Tom (seria wydawnicza):
6907