Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540316503
Subjects: Logic programming; Artificial intelligence; Automatic theorem proving