| Original language | English |
|---|---|
| Publisher | AK Peters |
| Publication status | Published - 1 Jan 2001 |
Proceedings of IJCAR Workshop on Future Directions in Automated Reasoning 2001
Manfred Kerber
Research output: Book/Report › Book
Manfred Kerber
Research output: Book/Report › Book
| Original language | English |
|---|---|
| Publisher | AK Peters |
| Publication status | Published - 1 Jan 2001 |