Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications -  - Bøger - IOS Press - 9781586039295 - 2009

Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

Pris
CNY 1.140,81
Forventes klar til forsendelse 8. - 13. dec.

Vores kunder siger:


Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

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


980 pages, Illustrations

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet USA, 2009
ISBN13 9781586039295
Forlag IOS Press
Antal sider 980
Mål 241 × 168 × 63 mm   ·   1,9 kg
Klipper/redaktør Biere, A.
Klipper/redaktør Heule, M.
Klipper/redaktør Van Maaren, H.
Klipper/redaktør Walsh, T.