Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

SAT 2005

Name: SAT 2005
Brand: Springer-Verlag New York Inc.
SKU: 02120471
Price: 160.12 EUR
Availability: InStock
Author: Enrico Giunchiglia
ISBN: 9781402045523

Satisfiability Research in the Year 2005

Enrico Giunchiglia

Toby Walsh

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 02120471

Editoras Springer-Verlag New York Inc., fevereiro 2006

This book covers recent progress in solving propositional satisfiability and related problems. Propo... Descrição completa

Código Libristo: 02120471

387 b

160.12 €

Armazenamento externalo em pequenas quantidades Envio em 11-15 dias

Política de devolução de 30 dias

Também pode estar interessado em

Faking Nature Robert Elliott

Capa mole

56.34 €

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.§