000020793 001__ 20793
000020793 005__ 20170119130210.0
000020793 04107 $$aeng
000020793 046__ $$k2014-09-22
000020793 100__ $$aRombová, Zuzana
000020793 24500 $$aIntroduction to modelling of natural deduction based on fuzzy type theory

000020793 24630 $$n11.$$pProceedings of the international conference on numerical analysis and applied mathematics 2014
000020793 260__ $$b
000020793 506__ $$arestricted
000020793 520__ $$2eng$$aPredicate Logic, Fuzzy Logic, Fuzzy Type Theory, Prolog, Deduction, Natural language.

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

000020793 7112_ $$aInternational conference on numerical analysis and applied mathematics 2014$$cRhodes (GR)$$d2014-09-22 / 2014-09-28$$gICNAAM2014
000020793 720__ $$aRombová, Zuzana$$iTelnarova, Zdenka
000020793 8560_ $$ffischerc@itam.cas.cz
000020793 8564_ $$s209978$$uhttps://invenio.itam.cas.cz/record/20793/files/550009_1.pdf$$yOriginal version of the author's contribution as presented on USB, paper 550009_1.pdf.
000020793 962__ $$r20333
000020793 980__ $$aPAPER