APA引文

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 Style (17th ed.) Citation

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引文

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.