Decision procedures : an algorithmic point of view
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin :
Springer ,
c2008
|
| Subjects: |
| Physical Description: | xvi, 304 p. : ill. ; 24 cm. |
|---|---|
| Bibliography: | Includes bibliographical references and index |
| ISBN: | 9783540741046 |