Total Books: 1 - 4 /4
Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Lee mas
Formal Concept Analysis
This book constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007. ...
Lee mas
Lattices and Ordered Algebraic Structures
Lattices and Ordered Algebraic Structures provides a lucid and concise introduction to the basic results concerning the notion ...
Lee mas
Mathematical Tools for Data Mining : Set Theory, Partial Orders, Combinatorics
Mathematics is presented in a thorough and rigorous manner offering a detailed explanation of each topic, with applications ...
Lee mas
Total Books: 1 - 4 /4
