Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications - - Bücher - IOS Press - 9781586039295 - 2009
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

Möchtest Du eine E-Mail, sobald der Artikel verfügbar ist?
Hast du ein Profil? Anmelden
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

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

980 pages, Illustrations

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 2009
ISBN13 9781586039295
Verlag IOS Press
Seitenanzahl 980
Maße 241 × 168 × 63 mm   ·   1,89 kg
Redakteur Biere, A.
Redakteur Heule, M.
Redakteur Van Maaren, H.
Redakteur Walsh, T.