Joint Workshops of the 8Th Workshop on Mathematical User Interfaces, Mathui 2013, 25Th Openmath Workshop, Openmath 2013, 5Th International Workshop on Programming Languages for Mechanised Mathematical Systems, Plmms 2013 and the 2Nd International Workshop on Theorem Proving Components for Educational Software, Thedu 2013 and Work in Progress at Conference on Intelligent Computer Mathematics, Cicm 2013, Date: 9 July 2013 through 10 July 2013
Oops! It looks like you don't have access to this content.
This section is restricted to uses with b-on access.
CORE Conference
No information about CORE Rank
During the preprocessing phase, only publications of type 'Proceedings Paper' or 'Proceedings'
are automatically processed to identify their CORE Rank.
TIP: If your publication's CORE Rank is missing, you can contact with your institutional manager
to have the correct ranking manually added to the record.
Journal Factors
Oops! It looks like you don't have access to this content.
This section is restricted to uses with b-on access.
Info
At this moment we don't have any links to full text documens.
