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