Menu
Виж статуса на поръчката
Свържете се с нас
Книга SAT 2005 Enrico Giunchiglia

SAT 2005

Satisfiability Research in the Year 2005

Автор: Enrico Giunchiglia, Toby Walsh
Език: Английски език
Корици: С твърди корици
Издател: Springer-Verlag New York Inc.
Наличност: Външен склад в ограничено количество
Изпращаме след 13-18 дни
178.10 € 348.33 лв
This book covers recent progress in solving propositional satisfiability and related problems. Propo...

Информация за книгата

Автор
Enrico Giunchiglia, Toby Walsh
Език
Английски език
Корици
Книга - С твърди корици
Издадена
2006
страници
293
EAN
9781402045523
ISBN
1402045522
Enbook ID
02120471
Издател
Springer-Verlag New York Inc.
Теглоt
1320
Размери
155 x 235 x 25

Пълно описание

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

Може също да ви хареса

Faking Nature

Robert Elliott
59.90 € 117.15 лв