Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

Kirjaudu sisään saadaksesi viestin kun tuotetta on jälleen saatavilla

Asiakkaamme sanovat:

Lisää iMusic-toivelistallesi

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

980 pages, Illustrations

Media	Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä	2009
ISBN13	9781586039295
Tuottaja	IOS Press
Sivujen määrä	980
Mitta	241 × 168 × 63 mm · 1,89 kg
Toimittaja	Biere, A.
Toimittaja	Heule, M.
Toimittaja	Van Maaren, H.
Toimittaja	Walsh, T.