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