by Andrei Voronkov (Editor), HelmutVeith (Editor), IlianoCervesato (Editor)
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.
Format: Paperback
Pages: 728
Publisher: Springer
Published: 13 Nov 2008
ISBN 10: 3540894381
ISBN 13: 9783540894384