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