Conference on Mathematical Knowledge Management
GPTKB entity
Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:conference
|
| gptkbp:abbreviation |
gptkb:MKM
|
| gptkbp:conference |
Conference on Intelligent Computer Mathematics
|
| gptkbp:field |
gptkb:mathematics
computer science mathematical knowledge management |
| gptkbp:firstHeld |
2001
|
| gptkbp:focus |
gptkb:statistical_analysis
formalization of mathematics mathematical knowledge representation digital mathematics libraries mathematical databases mathematical knowledge retrieval |
| gptkbp:frequency |
gptkb:annual
|
| gptkbp:location |
various international locations
|
| gptkbp:website |
https://cicm-conference.org/MKM/
|
| gptkbp:bfsParent |
gptkb:Mathematical_Knowledge_Management_community
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Conference on Mathematical Knowledge Management
|