Logic for programming, artificial intelligence, and reasoning [electronic resource] : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / Franz Baader, Andrei Voronkov (eds.).
Saved in:
| 出版: |
Berlin :
Springer,
c2005.
|
|---|---|
| 在線閱讀: | |
| Corporate Authors: | |
| 其他作者: | |
| 叢編: | Lecture notes in computer science ;
3452 Lecture notes in computer science. Lecture notes in artificial intelligence |
| 主題: | |
| 格式: | 電子 Conference Proceeding 電子書 |
