scientific article; zbMATH DE number 6174565

zbMATH Open1264.03066MaRDI QIDQ4925540FDOQ4925540

Authors Xiaoping Qiu, Yang Xu, X. B. Li

Publication date 12 June 2013

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4925540)