000020845 001__ 20845 000020845 005__ 20170119130213.0 000020845 04107 $$aeng 000020845 046__ $$k2014-09-22 000020845 100__ $$aKamiura, Moto 000020845 24500 $$aCurried propositional calculus and the matrix representation 000020845 24630 $$n11.$$pProceedings of the international conference on numerical analysis and applied mathematics 2014 000020845 260__ $$b 000020845 506__ $$arestricted 000020845 520__ $$2eng$$aPropositional logic, Currying, Reasoning, Abduction, Boolean algebra. 000020845 540__ $$aText je chráněný podle autorského zákona č. 121/2000 Sb. 000020845 653__ $$a 000020845 7112_ $$aInternational conference on numerical analysis and applied mathematics 2014$$cRhodes (GR)$$d2014-09-22 / 2014-09-28$$gICNAAM2014 000020845 720__ $$aKamiura, Moto 000020845 8560_ $$ffischerc@itam.cas.cz 000020845 8564_ $$s64889$$uhttps://invenio.itam.cas.cz/record/20845/files/580008_1.pdf$$yOriginal version of the author's contribution as presented on USB, paper 580008_1.pdf. 000020845 962__ $$r20333 000020845 980__ $$aPAPER