Limit Search Results
Author
Abraham, Ajith. editor.
(2)
Banerjee, Mohua. editor.
(2)
Cantone, Domenico. author.
(2)
Djeraba, Chabane. author.
(2)
Kanamori, Akihiro. editor.
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(13)
Mathematics.
(12)
Computational intelligence.
(10)
Logic, Symbolic and mathematical.
(10)
Computer science.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
56 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
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. 
Cover image for Banach Spaces and Descriptive Set Theory: Selected Topics
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. 
Cover image for Rough Set Theory: A True Landmark in Data Analysis
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. 
Cover image for A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
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:
17. 
Cover image for Mathematical Tools for Data Mining Set Theory, Partial Orders, Combinatorics
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:
18. 
Cover image for Labyrinth of Thought A History of Set Theory and Its Role in Modern Mathematics
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. 
Cover image for The Fuzzification of Systems The Genesis of Fuzzy Set Theory and its Initial Applications – Developments up to the 1970s
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. 
Cover image for Set Theory Centre de Recerca Matemàtica Barcelona, 2003–2004
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. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
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:
22. 
Cover image for Concise Guide to Software Verification From Model Checking to Annotation Checking
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:
23. 
Cover image for Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings
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:
24. 
Cover image for Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
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:
Select an Action