| Original language | English |
|---|---|
| Publisher | A K Peters |
| Publication status | Published - 1 Jan 2001 |
Symbolic Calculation and Automated Reasoning. The Calculemus-2000 Symposium, St. Andrews, Scotland, August 2001
Manfred Kerber, M Kohlhase
Research output: Book/Report › Book