Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
Publisher: Springer
Published: 2003
Language: eng
ISBN-13: 9783540398134