Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014)

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F14%3A00077611" target="_blank" >RIV/00216224:14330/14:00077611 - isvavai.cz</a>

  • Výsledek na webu

    <a href="http://ceur-ws.org/Vol-1186/" target="_blank" >http://ceur-ws.org/Vol-1186/</a>

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014)

  • Popis výsledku v původním jazyce

    This joint volume gathers together papers with those contributed to the workshops held at CICM 2014. The Proceedings consists of 29 papers accepted for the following Workshops and Work in Progress track at CICM 2014: -- The 9th Workshop on Mathematical User Interfaces (MathUI) -- The 26th OpenMath Workshop -- The 2014 Workshop on Theorem proving components for Educational software (ThEdu) -- The Work in Progress Section of the CICM.

  • Název v anglickém jazyce

    Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014)

  • Popis výsledku anglicky

    This joint volume gathers together papers with those contributed to the workshops held at CICM 2014. The Proceedings consists of 29 papers accepted for the following Workshops and Work in Progress track at CICM 2014: -- The 9th Workshop on Mathematical User Interfaces (MathUI) -- The 26th OpenMath Workshop -- The 2014 Workshop on Theorem proving components for Educational software (ThEdu) -- The Work in Progress Section of the CICM.

Klasifikace

  • Druh

    O - Ostatní výsledky

  • CEP obor

    IN - Informatika

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/LG13010" target="_blank" >LG13010: Zastoupení ČR v European Research Consortium for Informatics and Mathematics</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Ostatní

  • Rok uplatnění

    2014

  • Kód důvěrnosti údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů