Vista normal
Vista MARC
Computer science. (Término temático)
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