Search Results for Set theory.

1.

Handbook of Set Theory

Author

Foreman, Matthew. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-5764-9

Format:

Availability

Online Library~1

Available:
Copies:

2.

Notes on Set Theory

Author

Moschovakis, Yiannis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-31609-4

Format:

Availability

Online Library~1

Available:
Copies:

3.

Connected Dominating Set: Theory and Applications

Author

Du, Ding-Zhu. author. Wan, Peng-Jun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(331720.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-5242-3

Format:

Availability

Online Library~1

Available:
Copies:

4.

Axiomatic Fuzzy Set Theory and Its Applications

Author

Liu, Xiaodong. author. Pedrycz, Witold. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00402-5

Format:

Availability

Online Library~1

Available:
Copies:

5.

Problems and Theorems in Classical Set Theory

Author

Komjáth, Péter. author. Totik, Vilmos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-36219-3

Format:

Availability

Online Library~1

Available:
Copies:

6.

An Introduction to the Technique of Formative Processes in Set Theory

Author

Cantone, Domenico. author. Ursino, Pietro. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-74778-1

Format:

Availability

Online Library~1

Available:
Copies:

7.

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics

Author

Simovici, Dan A. author. Djeraba, Chabane. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6407-4

Format:

Availability

Online Library~1

Available:
Copies:

8.

The Real Numbers An Introduction to Set Theory and Analysis

Author

Stillwell, John. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332876.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-01577-4

Format:

Availability

Online Library~1

Available:
Copies:

9.

Incomplete Information System and Rough Set Theory Models and Attribute Reductions

Author

Yang, Xibei. author. Yang, Jingyu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-25935-7

Format:

Availability

Online Library~1

Available:
Copies:

10.

Combinatorial Set Theory With a Gentle Introduction to Forcing

Author

Halbeisen, Lorenz J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2173-2

Format:

Availability

Online Library~1

Available:
Copies:

11.

35 Years of Fuzzy Set Theory Celebratory Volume Dedicated to the Retirement of Etienne E. Kerre

Author

Cornelis, Chris. editor. Deschrijver, Glad. editor. Nachtegael, Mike. editor. Schockaert, Steven. editor. Shi, Yun. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-16629-7

Format:

Availability

Online Library~1

Available:
Copies:

12.

Computational Logic and Set Theory Applying Formalized Logic to Analysis

Author

Schwartz, Jacob T. author. Cantone, Domenico. author. Omodeo, Eugenio G. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-85729-808-9

Format:

Availability

Online Library~1

Available:
Copies:

13.

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia

Author

Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-79384-7

Format:

Availability

Online Library~1

Available:
Copies:

14.

Banach Spaces and Descriptive Set Theory: Selected Topics

Author

Dodos, Pandelis. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-12153-1

Format:

Availability

Online Library~1

Available:
Copies:

15.

Rough Set Theory: A True Landmark in Data Analysis

Author

Abraham, Ajith. editor. Falcón, Rafael. editor. Bello, Rafael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-89921-1

Format:

Availability

Online Library~1

Available:
Copies:

16.

Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics

Author

Simovici, Dan A. author. Djeraba, Chabane. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-201-2

Format:

Availability

Online Library~1

Available:
Copies:

17.

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

Author

Pagliani, Piero. editor. Chakraborty, Mihir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-8622-9

Format:

Availability

Online Library~1

Available:
Copies:

18.

Labyrinth of Thought A History of Set Theory and Its Role in Modern Mathematics

Author

Ferreirós, José. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-8350-3

Format:

Availability

Online Library~1

Available:
Copies:

19.

The Fuzzification of Systems The Genesis of Fuzzy Set Theory and its Initial Applications – Developments up to the 1970s

Author

Seising, Rudolf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71795-9

Format:

Availability

Online Library~1

Available:
Copies:

20.

Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004

Author

Bagaria, Joan. editor. Todorcevic, Stevo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-7643-7692-9

Format:

Availability

Online Library~1

Available:
Copies:

21.

Computers and Games International Conference, CG 2022, Virtual Event, November 22-24, 2022, Revised Selected Papers

Author

Browne, Cameron. editor. Kishimoto, Akihiro. editor. Schaeffer, Jonathan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520871.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34017-8

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings

Author

Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520898.1)

Electronic Access

https://doi.org/10.1007/978-3-031-27181-6

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings

Author

Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521140.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42823-4

Format:

Availability

Online Library~1

Available:
Copies:

24.

Algorithms for Constructing Computably Enumerable Sets

Author

Supowit, Kenneth J. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520324.1)

Electronic Access

https://doi.org/10.1007/978-3-031-26904-2

Format:

Availability

Online Library~1

Available:
Copies:

25.

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Author

Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520976.1)

Electronic Access

https://doi.org/10.1007/978-3-031-38499-8

Format:

Availability

Online Library~1

Available:
Copies:

26.

Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings

Author

Dürrschnabel, Dominik. editor. López Rodríguez, Domingo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521020.1)

Electronic Access

https://doi.org/10.1007/978-3-031-35949-1

Format:

Availability

Online Library~1

Available:
Copies:

27.

Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings

Author

Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.

Preferred Shelf Number

XX(521379.1)

Electronic Access

https://doi.org/10.1007/978-3-031-50959-9

Format:

Availability

Online Library~1

Available:
Copies:

28.

Concise Guide to Software Verification From Model Checking to Annotation Checking

Author

Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520525.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30167-4

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings

Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings

Author

Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520868.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33498-6

Format:

Availability

Online Library~1

Available:
Copies:

30.

Algorithms and Data Structures 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings

Author

Morin, Pat. editor. Suri, Subhash. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520873.1)

Electronic Access

https://doi.org/10.1007/978-3-031-38906-1

Format:

Availability

Online Library~1

Available:
Copies:

31.

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

Author

Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520823.1)

Electronic Access

https://doi.org/10.1007/978-3-031-26689-8

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

Author

Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521072.1)

Electronic Access

https://doi.org/10.1007/978-3-031-40960-8

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings

Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedings

Author

Cheng, Reynold. editor. Cui, Bin. editor. Zhang, Zhenjie. editor. Cai, Ruichu. editor. Xu, Jia. editor.

Preferred Shelf Number

XX(518837.1)

Electronic Access

https://doi.org/10.1007/978-3-319-25255-1

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Patch-Based Techniques in Medical Imaging First International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers

Patch-Based Techniques in Medical Imaging First International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers

Author

Wu, Guorong. editor. Coupé, Pierrick. editor. Zhan, Yiqiang. editor. Munsell, Brent. editor. Rueckert, Daniel. editor.

Preferred Shelf Number

XX(518887.1)

Electronic Access

https://doi.org/10.1007/978-3-319-28194-0

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III

Author

Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519034.1)

Electronic Access

https://doi.org/10.1007/978-3-319-22053-6

Format:

Availability

Online Library~1

Available:
Copies:

36.

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

Author

Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519060.1)

Electronic Access

https://doi.org/10.1007/978-3-319-20028-6

Format:

Availability

Online Library~1

Available:
Copies:

37.

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Author

Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519118.1)

Electronic Access

https://doi.org/10.1007/978-3-662-45824-2

Format:

Availability

Online Library~1

Available:
Copies:

38.

Computer Algebra and Polynomials Applications of Algebra and Number Theory

Author

Gutierrez, Jaime. editor. Schicho, Josef. editor. Weimann, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519265.1)

Electronic Access

https://doi.org/10.1007/978-3-319-15081-9

Format:

Availability

Online Library~1

Available:
Copies:

39.

Measures of Complexity Festschrift for Alexey Chervonenkis

Author

Vovk, Vladimir. editor. Papadopoulos, Harris. editor. Gammerman, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518354.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21852-6

Format:

Availability

Online Library~1

Available:
Copies:

40.

Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

Author

ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519157.1)

Electronic Access

https://doi.org/10.1007/978-3-319-22002-4

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

Author

Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519188.1)

Electronic Access

https://doi.org/10.1007/978-3-319-15702-3

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

Author

Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519087.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23540-0

Format:

Availability

Online Library~1

Available:
Copies:

43.

Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Author

Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519293.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23264-5

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}