Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Decision Procedures - An Algorithmic Point of View
66,10 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 306 sivua
Asu: Kovakantinen kirja
Painos: 2008 ed.
Julkaisuvuosi: 2008, 23.05.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Theoretical Computer Science. An EATCS Series
Sivumäärä: 306 sivua
Asu: Kovakantinen kirja
Painos: 2008 ed.
Julkaisuvuosi: 2008, 23.05.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Texts in Theoretical Computer Science. An EATCS Series
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer.
The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic;
Foreword by: R.E. Bryant
The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic;
Foreword by: R.E. Bryant
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Näytä kaikki tuotetiedot
ISBN:
9783540741046
Aihealue: