Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

經過 Nikolaj Björner
5/5
首次發表
2012
发行商
Springer Berlin Heidelberg
語言
English

圖書

類似書籍