| Original language | English |
|---|---|
| Publisher | Not Known |
| Publication status | Published - 1 Jan 2003 |
Proceedings of CADE-19 Workshop on Challenges and Novel Applications for Automated Reasoning
S Colton, J Gow, Volker Sorge, T Walsh
Research output: Book/Report › Book