Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings: 2250 (Lecture Notes in Computer Science)

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings: 2250 (Lecture Notes in Computer Science)

by Andrei Voronkov (Editor), RobertNieuwenhuis (Editor)

Synopsis

Each submission was - viewed by at least three program committee members and an electronic program committee meeting was held via the Internet.

$128.44

Save:$11.66 (8%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 758
Edition: 2001
Publisher: Springer
Published: 21 Nov 2001

ISBN 10: 3540429573
ISBN 13: 9783540429579