Número de Cutter-SanbornG537tEntrada «Giu» → 537 · marca de obra “t”

Theory and Applications of Satisfiability Testing

Name: Theory and Applications of Satisfiability Testing
ISBN: 9783540246053

6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Autor	Enrico Giunchiglia, Armando Tacchella
Editorial	Springer London, Limited
Fecha de publicación	2004
Idioma	inglés
ISBN-13	9783540246053
Número de Cutter	`G537t`

Theory and Applications of Satisfiability Testing (2004) — ISBN 9783540246053 | Cutter Number