Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 2002 - Proceedings
by Matthias Baaz, Andrei Voronkov Paperback 2002
- Author: Matthias Baaz, Andrei Voronkov
- ISBN 13: 9783540000105
- ISBN 10: 3540000100
- Publication Year: 2002
- Language: English
Specifications
| Index-10 | 3540000100 |
|---|---|
| Index-13 | 9783540000105 |
| Language | English |