Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3 Results Found Subscribe to search results
000DEFAULT
Print
1. 
Cover image for Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
Author 
Gaggl, Sarah. editor. Martinez, Maria Vanina. editor. (orcid) Ortiz, Magdalena. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521177.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43619-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Author 
Hu, Xiaolin. editor. Xia, Yousheng. editor. Zhang, Yunong. editor. Zhao, Dongbin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519279.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25393-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Rudiments of [mu]-calculus
Rudiments of [mu]-calculus
Author 
Arnold, A. (André), 1945- Niwiński, Damian.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Format: 
Availability 
Online Library~1
Available:
Copies: