by NachumDershowitz (Editor), Andrei Voronkov (Editor)
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia.
Format: Paperback
Pages: 562
Publisher: Springer
Published: 08 Oct 2007
ISBN 10: 3540755586
ISBN 13: 9783540755586