2 871 419 libros electrónicos en 110 idiomas
¿No le conviene? No hay problema. Puede devolverlo en un plazo de 30 días
No se equivocará con un vale de regalo. El destinatario puede elegir cualquier producto de nuestra oferta.
Política de devolución de 30 días
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.