Projekty > STULONG > Přirozený jazyk

 

Seznam úloh

Níže je uveden seznam úloh, které jsou uloženy v metabázi systému LISp-Miner. Proč byly úlohy nadefinovány tímto způsobem je popsáno zde.

(Systém pro převod pravidel umí převádět zatím pouze pravidla, která zachycují vztah fundovaná implikace. Ve výpisu jsou proto uvedeny pouze úlohy, kterým byl přiřazen kvantifikátor fundovaná implikace).

Sorry, online mining is due to technical reasons currently unavailable. There is a work in progress on an extension of the LISp-Miner system, which will allow reinclusion of online mining on this website.

Forma stránky vhodná pro tisk

Projekty > STULONG > Přirozený jazyk

 

Mail to: webmaster