| RELVIEW and RATH - Two Systems for Dealing with Relations The GUHA Method and Foundations of (Relational) Data Mining Mechanised Reasoning and Model Generation for Extended Modal Logics Theory Extraction in Relational Data Analysis An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them. I: Language Extension Mechanisms Consistent Representation of Rankings Axiomatic and Strategic Approaches to Bargaining Problems Categoric and Ordinal Voting: An Overview Relational Models of Lambek Logics Approximation Operators in Qualitative Data Analysis Lattice-Based Relation Algebras and Their Representability Binary Multirelations Author Index |
内容加载中，请稍后...
商品评论（0条）