Logic for Programming, Artificial Intelligence, and Reasoning
Subtitle: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Publisher: Springer London, Limited
Published: 2013
Language: eng
ISBN-13: 9783642452215