Integrating searching and authoring in Mizar (Q2462640)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Integrating searching and authoring in Mizar |
scientific article |
Statements
Integrating searching and authoring in Mizar (English)
0 references
3 December 2007
0 references
LSI
0 references
Alcor
0 references
Mizar
0 references
Information retrieval
0 references
Mathematics
0 references
