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 |