Vista normal
Vista MARC
- Hoos, Holger H.
Hoos, Holger H. (Nombre personal)
Machine generated authority record.
Work cat.: (MX-SnUAN)294817: Hoos, Holger H. editor., Theory and Applications of Satisfiability Testing :
TEST - Catálogo BURRF
