Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications -  - Bøger - IOS Press - 9781586039295 - 2009
Ved uoverensstemmelse mellem cover og titel gælder titel

Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

Tilføj til din iMusic ønskeseddel
Eller

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,89 kg
Klipper/redaktør Biere, A.
Klipper/redaktør Heule, M.
Klipper/redaktør Van Maaren, H.
Klipper/redaktør Walsh, T.