Vista normal
Vista MARC
Numeric Computing. (Término temático)
Machine generated authority record.
Work cat.: (UQROO)64895: Kleine Bȭning, Hans. editor. 141658, Theory and Applications of Satisfiability Testing SAT 2008
Machine generated authority record.
Work cat.: (UQROO)64895: Kleine Bȭning, Hans. editor. 141658, Theory and Applications of Satisfiability Testing SAT 2008