Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

Logg på for å få beskjed når varen er tilgjengelig igjen

Kundene våre sier:

Legg til iMusic ønskeliste

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

980 pages, Illustrations

Media	Bøker Innbunden bok (Bok med hard rygg og stivt omslag)
Utgitt	2009
ISBN13	9781586039295
Utgivere	IOS Press
Antall sider	980
Mål	241 × 168 × 63 mm · 1,89 kg
Redaktør	Biere, A.
Redaktør	Heule, M.
Redaktør	Van Maaren, H.
Redaktør	Walsh, T.