Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
Publisher: Springer
Published: 2010
Language: eng
ISBN-13: 9783642175114