| Original language | English |
|---|---|
| Publication status | Published - 1997 |
Computers, Reasoning and Mathematical Practice
Research output: Contribution to conference › Paper
Research output: Contribution to conference › Paper
| Original language | English |
|---|---|
| Publication status | Published - 1997 |