Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, Lpar 2001, Havana, Cuba, December 3-7, 2001, Proceedings

By Robert Nieuwenhuis

This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti'cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540429573
• ISBN13: 9783540429579
• Release Date: November 2001
• Publisher: Springer
• Length: 741 Pages
• Weight: 3.81 lbs.
• Dimensions: 1.5" x 8.5" x 11.0"