| Original language | Undefined/Unknown |
|---|---|
| Pages | 58--72 |
| Publication status | Published - 2004 |
Informalising Formal Mathematics: searching the mizar library with Latent Semantics
Research output: Contribution to conference › Paper
Research output: Contribution to conference › Paper
| Original language | Undefined/Unknown |
|---|---|
| Pages | 58--72 |
| Publication status | Published - 2004 |