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”

Workshop o práci se znalostmi ve formální matematice

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F04%3A00003690" target="_blank" >RIV/00216208:11320/04:00003690 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    Workshop on Knowledge Management in Formalized Mathematics

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

    Representation and management of formalized mathematical knowledge. Large libraries of formalized mathematics, authoring formalized mathematics. Data mining in formalized mathematics. Proof checking and theorem proving over large libraries of formalizedmathematics.

  • Název v anglickém jazyce

    Workshop on Knowledge Management in Formalized Mathematics

  • Popis výsledku anglicky

    Representation and management of formalized mathematical knowledge. Large libraries of formalized mathematics, authoring formalized mathematics. Data mining in formalized mathematics. Proof checking and theorem proving over large libraries of formalizedmathematics.

Klasifikace

  • Druh

    W - Uspořádání workshopu

  • CEP obor

    BD - Teorie informace

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

  • Návaznosti

    Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2004

  • 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ů

Údaje specifické pro druh výsledku

  • Místo konání akce

    Praha

  • Stát konání akce

    CZ - Česká republika

  • Datum zahájení akce

  • Datum ukončení akce

  • Celkový počet účastníků

    13

  • Počet zahraničních účastníků

    10

  • Typ akce podle státní přísl. účastníků

    WRD - Celosvětová akce