Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedin
by Iliano Cervesato, Helmut Veith, Andrei Voronkov Paperback 2008
- Author: Iliano Cervesato, Helmut Veith, Andrei Voronkov
- ISBN 13: 9783540894384
- ISBN 10: 3540894381
- Publication Year: 2008
- Language: English
Specifications
| Index-10 | 3540894381 |
|---|---|
| Index-13 | 9783540894384 |
| Language | English |