Theory and Applications of Satisfiability Testing - SAT 2007 - Brossura

 
9783540838890: Theory and Applications of Satisfiability Testing - SAT 2007
Brossura
ISBN 10: 3540838899 ISBN 13: 9783540838890
Casa editrice: Springer, 2008

Al momento non sono disponibili copie per questo codice ISBN.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540838899
ISBN 13 
9783540838890
Rilegatura
Paperback
Numero di pagine
404
Redattore
Marques-Silva Joao, Sakallah Karem A.
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9783540727873: Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference Lisbon, Portugal, May 28-31, 2007 Proceedings: 4501

Edizione in evidenza

ISBN 10:  3540727876 ISBN 13:  9783540727873
Casa editrice: Springer, 2009
Brossura