Vista normal
Vista MARC
- Herde, Christian.
Herde, Christian. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)309076: Herde, Christian. autor, Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure :