Limit Search Results
Author
SpringerLink (Online service)
(544)
Gabbay, Dov M. author.
(5)
Schlechta, Karl. author.
(5)
Cooper, S. Barry. editor.
(4)
Löwe, Benedikt. editor.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(302)
Computer science.
(226)
Artificial intelligence.
(189)
Mathematical logic.
(183)
Mathematics.
(132)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
690 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II
Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part II
Author 
Hussain, Amir. editor. Jiang, Bo. editor. Ren, Jinchang. editor. Mahmud, Mufti. editor. Yang, Erfu. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-2885-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Author 
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90897-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
Author 
Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-89610-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Author 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part I
Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part I
Author 
Baczyński, Michał. editor. (orcid)0000-0002-4442-2112 De Baets, Bernard. editor. (orcid)0000-0002-3876-620X Holčapek, Michal. editor. (orcid)0000-0003-3978-1249 Kreinovich, Vladik. editor. (orcid)0000-0002-1244-1650 Medina, Jesús. editor. (orcid)0000-0002-3931-5873
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97225-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part II
Advances in Fuzzy Logic and Technology 14th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2025, Riga, Latvia, July 21-25, 2025, Proceedings, Part II
Author 
Baczyński, Michał. editor. (orcid)0000-0002-4442-2112 De Baets, Bernard. editor. (orcid)0000-0002-3876-620X Holčapek, Michal. editor. (orcid)0000-0003-3978-1249 Kreinovich, Vladik. editor. (orcid)0000-0002-1244-1650 Medina, Jesús. editor. (orcid)0000-0002-3931-5873
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97228-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Mathematics for Engineering Sciences
Advances in Mathematics for Engineering Sciences
Author 
Ram, Mangey. editor. (orcid)0000-0002-8221-092X Kharola, Shristi. editor. Kumar, Akshay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95693-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Graded Logic Modeling Human Commonsense Reasoning in Decision-Making and AI
Graded Logic Modeling Human Commonsense Reasoning in Decision-Making and AI
Author 
Dujmović, Jozo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88558-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Concentrated solar power systems
Concentrated solar power systems
Author 
Pragathi, Bellamkonda, author. Kothari, D. P. (Dwarkadas Pralhaddas), 1944- author.
Preferred Shelf Number 
TJ810 .P865 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272389
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
Author 
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84595-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Bertrand's paradox and the principle of indifference
Bertrand's paradox and the principle of indifference
Author 
Shackel, Nicholas, 1955- author.
Preferred Shelf Number 
QA273.4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003456308
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Symbolic regression
Symbolic regression
Author 
Kronberger, Gabriel, author. Burlacu, Bogdan, author. Kommenda, Michael, author. Winkler, Stephan M., author. Affenzeller, Michael, author.
Preferred Shelf Number 
QA76.623
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781315166407
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action