Book
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783834814944
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure by Christian Herde
There are no reviews for this book yet.
Idea box
