Original language | English |
---|---|
Title of host publication | roceeding of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning |
Number of pages | 15 |
Publisher | Springer |
Publication date | 2010 |
Pages | 157 |
Chapter | 171 |
Publication status | Published - 2010 |
Series | Lecture Notes in Computer Science |
---|---|
Number | 6397 |