Conferences on Intelligent Computer Mathematics
GPTKB entity
Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:academic_conference_series
|
| gptkbp:abbreviation |
gptkb:CICM
|
| gptkbp:annualEvent |
true
|
| gptkbp:establishedIn |
2008
|
| gptkbp:focusesOn |
automated reasoning
symbolic computation mathematical knowledge management computer mathematics digital mathematical libraries |
| gptkbp:formedByMergerOf |
Calculemus
Digital Mathematical Libraries (DML) Mathematical Knowledge Management (MKM) |
| gptkbp:website |
https://www.cicm-conference.org/
|
| gptkbp:bfsParent |
gptkb:Proceedings_of_CICM_2012
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Conferences on Intelligent Computer Mathematics
|