Introduction to modelling of natural deduction based on fuzzy type theory
Abstract eng: Predicate Logic, Fuzzy Logic, Fuzzy Type Theory, Prolog, Deduction, Natural language.
Contributors:
Conference Title:
Conference Title:
International conference on numerical analysis and applied mathematics 2014
Conference Venue:
Rhodes (GR)
Conference Dates:
2014-09-22 / 2014-09-28
Rights:
Text je chráněný podle autorského zákona č. 121/2000 Sb.
Record appears in:
Record created 2017-01-19, last modified 2017-01-19