Vista normal
Vista MARC
Cimatti, Alessandro. editor. (Nombre personal)
Machine generated authority record.
Work cat.: (UQROO)72339: Cimatti, Alessandro. editor., Theory and Applications of Satisfiability Testing SAT 2012
Machine generated authority record.
Work cat.: (UQROO)72339: Cimatti, Alessandro. editor., Theory and Applications of Satisfiability Testing SAT 2012