Geoff Sutcliffe,Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
____________________________
Author: Geoff Sutcliffe,Andrei Voronkov
Number of Pages: 744 pages
Published Date: 15 Feb 2006
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540305538
Download Link: Click Here
____________________________