1
by Farmer, William M.
Published 2023
Birkhäuser
Subjects: ...Set theory...

2
by Kurgalin, Sergei, Borzunov, Sergei
Published 2020
Springer International Publishing
Table of Contents: ...Fundamentals of Mathematical Logic -- Set Theory -- Relations and Functions -- Combinatorics...

3
by Kurgalin, Sergei, Borzunov, Sergei
Published 2018
Springer International Publishing
Table of Contents: ...Fundamentals of Mathematical Logic -- Set Theory -- Relations and Functions -- Combinatorics...

4
Published 2004
Springer Berlin Heidelberg
...In recent years rough set theory has attracted the attention of many researchers and practitioners...

5
by Singh, Arindama
Published 2009
Springer London

6
by Mazzola, Guerino, Milmeister, Gérard, Weissmann, Jody
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...Sets, Numbers, and Graphs -- Fundamentals–Concepts and Logic -- Axiomatic Set Theory -- Boolean Set...

7
by Jukna, Stasys
Published 2011
Springer Berlin Heidelberg
... together with impressive applications in computer science: methods of extremal set theory, the linear...

8
by Bridges, Douglas S., Vîţă, Luminiţa Simona
Published 2011
Springer Berlin Heidelberg

9
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Proof -- Importing HOL Light into Coq -- A Mechanized Translation from Higher-Order Logic to Set Theory...

10
Published 1990
Springer Berlin Heidelberg
... name is associated with set theory. Many computing science, programming and software engineering...

11
by Crespi Reghizzi, Stefano
Published 2009
Springer London

12
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... data types II computation on ADTs as ordinary computation -- A primitive recursive set theory and AFA...

13
Published 1995
Springer Berlin Heidelberg
Table of Contents: ... environment -- Fuzzy set theory and medical expert systems: Survey and model -- The Fusion object-oriented...

14
Published 2013
Springer International Publishing
Table of Contents: ... Integrating Cellular Automata and Rough Set Theory -- Fusion at Features Level in CBIR System Using Genetic...

15
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...-topped Degrees -- Mitosis in Computational Complexity -- Models of Intuitionistic Set Theories over...