Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure [E-Book] : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems / by Christian Herde.
Saved in:
Full text |
|
Personal Name(s): | Herde, Christian. |
Imprint: |
Wiesbaden :
Vieweg+Teubner Verlag / Springer Fachmedien Wiesbaden GmbH, Wiesbaden,
2011.
|
Physical Description: |
online resource |
ISBN: |
9783834899491 |
Subject (LOC): |
Description not available. |