Tohutoro APA (7th ed.)
Christian Herde. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems. Springer Vieweg.
Tohutoru Kātū Chicago (17th ed.)
Christian Herde. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems. Wiesbaden, Alemania: Springer Vieweg.
Tohutoro MLA (9th ed.)
Christian Herde. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems. Springer Vieweg.
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.