Výsledky vyhledávání

0047821 - ÚI 2008 RIV NL eng M - Část monografie knihy
Bílková, Marta - Goris, E. - Joosten, J.J.
Smart Labels.
[Chytré značkování.]
Liber Amicorum for Dick de Jongh. Amsterdam: University of Amsterdam, 2004 - (Afanasiev, L.; Marx, M.), s. 1-9. ISBN 90-5776-1289
Zdroj financování: V - jiné veřejné zdroje
Klíčová slova: interpretability * interpretability logic * modal logic * completeness
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0138615