A System of Knowledge Representation Based on Formulae of Predicate Calculus whose Variables are Annotated by Expressions of A "Fuzzy" Terminological Logic

В2.11, В2.14.

Da Silva R. M., Pereira A.E. C., Netto M. A..

A System of Knowledge Representation Based on Formulae of Predicate Calculus whose Variables are Annotated by Expressions of A "Fuzzy" Terminological Logic-Berlin, Heidelberg.// Advances in Intelligent Computing - IPMU 94, 1995.-Vol. 945.-P.409-417-(Lecture Notes in Computer Science).
Bibliogr.: p.416-417