Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Offerta imperdibile
SAT 2005: Satisfiability Research in the Year 2005 - cover
SAT 2005: Satisfiability Research in the Year 2005 - cover
Dati e Statistiche
Wishlist Salvato in 0 liste dei desideri
SAT 2005: Satisfiability Research in the Year 2005
Attualmente non disponibile
122,39 €
-6% 130,20 €
122,39 € 130,20 € -6%
Attualmente non disp.
Chiudi

Altre offerte vendute e spedite dai nostri venditori

Altri venditori
Prezzo e spese di spedizione
ibs
Spedizione Gratis
-6% 130,20 € 122,39 €
Altri venditori
Prezzo e spese di spedizione
ibs
Spedizione Gratis
-6% 130,20 € 122,39 €
Altri venditori
Prezzo e spese di spedizione
Chiudi
ibs
Chiudi

Tutti i formati ed edizioni

Chiudi
SAT 2005: Satisfiability Research in the Year 2005 - cover
Chiudi

Promo attive (0)

Descrizione


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.
Leggi di più Leggi di meno

Dettagli

2014
Paperback / softback
293 p.
Testo in English
235 x 155 mm
462 gr.
9789400787155
Chiudi
Aggiunto

L'articolo è stato aggiunto al carrello

Chiudi

Aggiungi l'articolo in

Chiudi
Aggiunto

L’articolo è stato aggiunto alla lista dei desideri

Chiudi

Crea nuova lista

Chiudi

Chiudi

Siamo spiacenti si è verificato un errore imprevisto, la preghiamo di riprovare.

Chiudi

Verrai avvisato via email sulle novità di Nome Autore