-
Anglický jazyk
SAT 2005
Autor: Toby Walsh
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.... Viac o knihe
Na objednávku, dodanie 2-4 týždne
145.19 €
bežná cena: 164.99 €
O knihe
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.
- Vydavateľstvo: Springer Netherlands
- Rok vydania: 2014
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9789400787155
Nemecký jazyk 
