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 |
statistical analysis
formalization of mathematics mathematical knowledge representation digital mathematics libraries mathematical databases mathematical knowledge retrieval |
gptkbp:frequency |
annual
|
https://www.w3.org/2000/01/rdf-schema#label |
Conference on Mathematical Knowledge Management
|
gptkbp:location |
various international locations
|
gptkbp:website |
https://cicm-conference.org/MKM/
|
gptkbp:bfsParent |
gptkb:Mathematical_Knowledge_Management_community
|
gptkbp:bfsLayer |
7
|