Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings : 2250 by Robert Nieuwenhuis - Paperback

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings : 2250 by Robert Nieuwenhuis - Paperback

SAR574.64
(0) Write a Review
SKU:
9783540429579
UPC:
9783540429579

Product Description

ISBN: 9783540429579
TITLE: Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings : 2250
AUTHOR: Robert Nieuwenhuis
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 21 Nov 2001

Other Details

ISBN:
9783540429579
Author:
Robert Nieuwenhuis
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:21 Nov 2001
Book Format:
Paperback

Related Products

Popular Trending Products