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