Original language | English |
---|---|
Title of host publication | International Joint Conference on Automated Reasoning (IJCAR) |
Number of pages | 14 |
Publisher | Springer |
Publication date | 2010 |
Pages | 1 |
Chapter | 14 |
Publication status | Published - 2010 |
Series | Lecture Notes in Computer Science |
---|---|
Number | 6173 |