Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems 著者: Christian Herde 出版 Vieweg+Teubner Verlag. 以下のデジタルおよびeTextbook ISBNs: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : 9783834899491, 3834899496 および 印刷版のISBNは 9783834814944, 3834814946. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems 著者: Christian Herde 出版 Vieweg+Teubner Verlag. 以下のデジタルおよびeTextbook ISBNs: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure : 9783834899491, 3834899496 および 印刷版のISBNは 9783834814944, 3834814946. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。