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