000020959 001__ 20959
000020959 005__ 20170119130217.0
000020959 04107 $$aeng
000020959 046__ $$k2014-09-22
000020959 100__ $$aMadeira, Alexandre
000020959 24500 $$aA logic for robotics?

000020959 24630 $$n11.$$pProceedings of the international conference on numerical analysis and applied mathematics 2014
000020959 260__ $$b
000020959 506__ $$arestricted
000020959 520__ $$2eng$$aLogic in Computer Science, Dynamic logic; Robotics

000020959 540__ $$aText je chráněný podle autorského zákona č. 121/2000 Sb.
000020959 653__ $$a

000020959 7112_ $$aInternational conference on numerical analysis and applied mathematics 2014$$cRhodes (GR)$$d2014-09-22 / 2014-09-28$$gICNAAM2014
000020959 720__ $$aMadeira, Alexandre$$iBarbosa, Luís S.$$iMartins, Manuel A.$$iNeves, Renato
000020959 8560_ $$ffischerc@itam.cas.cz
000020959 8564_ $$s75374$$uhttps://invenio.itam.cas.cz/record/20959/files/710006_1.pdf$$yOriginal version of the author's contribution as presented on USB, paper 710006_1.pdf.
000020959 962__ $$r20333
000020959 980__ $$aPAPER