Bestellen Terug

Hoofdkenmerken

Auteur:	Zhao, Xishun
Redactie:	Zhao, Xishun
Titel:	Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference,
Uitgever:	Springer-Verlag Berlin and
ISBN:	9783540797180
ISBN boekversie:	9783540797197
Serie:	Lecture Notes in Computer
Editie:	2008 ed.
Land van oorsprong:	Germany
Prijs:	€ 83,84
Verschijningsdatum:	25-04-2008
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Postgraduate, Research & Scholarly
Categorie:	Mathematical logic
Geillustreerd:	X, 305 p.

Technische kenmerken

Verschijningsvorm:	Paperback / softback
Paginas:	305
Hoogte mm.:	235
Breedte mm.:	155
Gewicht gr.:	498

 

Inhoud:

The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis?ability problem and its applications.