Gå direkte til innholdet
Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations
Spar

Quantifier Elimination over Real Closed Fields- Mathematical Basis, Solution Techniques, Practical Integrations

pocket, 2007
Engelsk
ISBN
9783836413060
Språk
Engelsk
Vekt
218 gram
Utgivelsesdato
18.6.2007
Antall sider
128