Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were ca...

全面介紹

Saved in:
書目詳細資料
其他作者: Cervesato, Iliano
格式: 圖書
語言:English
出版: Springer 2017
主題:
在線閱讀:http://repository.vnu.edu.vn/handle/VNU_123/25619
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!