Název: Pro lidi srozumitelný jazyk temporální logiky
Překlad názvu: Temporal Logics for a Man
Autoři: Žilka, Lukáš ; Letko, Zdeněk (oponent) ; Smrčka, Aleš (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2010
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]

Klíčová slova: angličtina; LTL; NLP; omezený jazyk; temporální logika; controlled language; English; LTL; NLP; temporal logic

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: http://hdl.handle.net/11012/55912

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-238962


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Bakalářské práce
 Záznam vytvořen dne 2016-06-03, naposledy upraven 2022-09-04.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet