[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
SAT 2005
Език
Английски език
Английски език
Книга
С меки корици
This book covers recent progress in solving propositional satisfiability and related problems. Propo...
Цялото описание
Код Либристо: 09160830
?
499 b
499 b
388.03
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
/
С меки корици
179.31
лв
/
С меки корици
164.61
лв
/
С меки корици
150.61
лв
/
С твърди корици
472.50
лв
/
С меки корици
77.62
лв
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.§
Информация за книгата
Пълно заглавие
SAT 2005
Автор
Enrico Giunchiglia, Toby Walsh
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2014
Брой страници
293
Баркод
9789400787155
ISBN
9789400787155
Код Либристо
09160830
Издателство
Springer
Тегло
462
Размери
155 x 235 x 16
