Número de Cutter-SanbornS158tEntrada «Sais» → 158 · marca de obra “t”

Theory and Application of Satisfiability Testing

Name: Theory and Application of Satisfiability Testing
ISBN: 9783642215827

14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Autor	Karem A. Sakallah, Laurent Simon
Editorial	Springer
Fecha de publicación	Sep 15, 2011
Páginas	394
Formato	paperback
ISBN-13	9783642215827
ISBN-10	3642215823
Número de Cutter	`S158t`

Theory and Application of Satisfiability Testing (2011) — ISBN 9783642215827 | Cutter Number