Não gostou? Não há problema! Pode devolver no prazo de 30 dias
Não há como errar com um vale de oferta. O presenteado pode escolher qualquer produto da nossa oferta.
Política de devolução de 30 dias
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.