Herde, C. (2011). Efficient solving of large arithmetic constraint systems with complex boolean structure: Proof engines for the analysis of hybrid discrete-continuous systems. Vieweg+Teubner. https://doi.org/10.1007/978-3-8348-9949-1
Παραπομπή σε μορφή Chicago (17η εκδ.)Herde, Christian. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-continuous Systems. Wiesbaden: Vieweg+Teubner, 2011. https://doi.org/10.1007/978-3-8348-9949-1.
Παραπομπή σε μορφή MLA (9th εκδ.)Herde, Christian. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-continuous Systems. Vieweg+Teubner, 2011. https://doi.org/10.1007/978-3-8348-9949-1.