Vista normal
Vista MARC
Hoos, Holger H. editor. (Nombre personal)
Machine generated authority record.
Work cat.: (UQROO)60306: Hoos, Holger H. editor., Theory and Applications of Satisfiability Testing
Machine generated authority record.
Work cat.: (UQROO)60306: Hoos, Holger H. editor., Theory and Applications of Satisfiability Testing