Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : Proof Engines for the Analysis of Hybrid Discrete-Continuous
تاريخ النشر: 10/02/2011
الناشر: Vieweg+Teubner Verlag
لغة: إنكليزي
طبعة: 1
حجم: 15×21
عدد الصفحات: 184
مجلدات: 1
ردمك: 9783834814944