Pages that link to "Item:Q5411648"
From MaRDI portal
The following pages link to Automated Discovery of Properties of Rough Sets (Q5411648):
Displaying 13 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver (Q286803) (← links)
- Improving legibility of formal proofs based on the close reference principle is NP-hard (Q286805) (← links)
- Topological interpretation of rough sets (Q467816) (← links)
- Two axiomatizations of Nelson algebras. (Q491776) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Formalizing two generalized approximation operators (Q2311527) (← links)
- Initial Comparison of Formal Approaches to Fuzzy and Rough Sets (Q2814146) (← links)
- Accessing the Mizar Library with a Weakly Strict Mizar Parser (Q2817295) (← links)
- Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets (Q3300368) (← links)
- Computer Certification of Generalized Rough Sets Based on Relations (Q5082208) (← links)
- Automated Comparative Study of Some Generalized Rough Approximations (Q5164851) (← links)
