Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

Onze klanten zeggen:

Voeg toe aan uw iMusic-verlanglijst

A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.

980 pages, Illustrations

Media	Boeken Hardcover Book (Boek met harde rug en kaft)
Vrijgegeven	2009
ISBN13	9781586039295
Uitgevers	IOS Press
Pagina's	980
Afmetingen	241 × 168 × 63 mm · 1,89 kg
Uitgever	Biere, A.
Uitgever	Heule, M.
Uitgever	Van Maaren, H.
Uitgever	Walsh, T.