Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
Poczta Polska 18.99 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
Poczta Polska 18.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
SAT 2005
Język
Angielski
Angielski
Książka
Twarda
This book covers recent progress in solving propositional satisfiability and related problems. Propo...
Cały opis
Kod Libristo: 02120471
?
467 b
467 b
797.76
zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-16 dni
30 dni na zwrot towaru
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.§
Informacje o książce
Pełna nazwa
SAT 2005
Autor
Enrico Giunchiglia, Toby Walsh
Język
Angielski
Angielski
Oprawa
Książka - Twarda
Data wydania
2006
Liczba stron
293
EAN
9781402045523
ISBN
1402045522
Kod Libristo
02120471
Wydawnictwo
Springer-Verlag New York Inc.
Waga
1320
Wymiary
155 x 235 x 25
