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