Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
Publisher: Springer London, Limited
Published: 2005
Language: eng
ISBN-13: 9783540322757
Subjects: Logic programming; Artificial intelligence; Automatic theorem proving