Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

SAT 2005

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

Satisfiability Research in the Year 2005

Enrico Giunchiglia

Toby Walsh

Lingua

Inglese

Libro Rigido

Codice Libristo: 02120471

Casa editrice Springer-Verlag New York Inc., febbraio 2006

This book covers recent progress in solving propositional satisfiability and related problems. Propo... Descrizione completa

Codice Libristo: 02120471

425 b

173.59 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

Potrebbe interessarti anche

Faking Nature Robert Elliott

In brossura

63.69 €

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.§