Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

Inicia sesión para recibir una notificación cuando el producto vuelva a estar disponible

Nuestros clientes opinan:

Añadir a tu lista de deseos de iMusic

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

980 pages, Illustrations

Medios de comunicación	Libros Hardcover Book (Libro con lomo y cubierta duros)
Publicado	2009
ISBN13	9781586039295
Editores	IOS Press
Páginas	980
Dimensiones	241 × 168 × 63 mm · 1,89 kg
Editor	Biere, A.
Editor	Heule, M.
Editor	Van Maaren, H.
Editor	Walsh, T.