Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications -  - Książki - IOS Press - 9781586039295 - 2009
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications


Otrzymaj e-mail, gdy przedmiot będzie dostępny
Czy masz profil? Zaloguj się
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

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


980 pages, Illustrations

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 2009
ISBN13 9781586039295
Wydawcy IOS Press
Strony 980
Wymiary 241 × 168 × 63 mm   ·   1,89 kg
Redaktor Biere, A.
Redaktor Heule, M.
Redaktor Van Maaren, H.
Redaktor Walsh, T.