Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
11 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
Cover image for Cylindric-like Algebras and Algebraic Logic
Cylindric-like Algebras and Algebraic Logic
Author 
Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333922.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35025-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
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:
3. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520344.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520788.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Author 
Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521244.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45072-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Author 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number 
XX(518949.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Author 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519137.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
Author 
Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519225.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47666-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519313.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19324-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
Author 
Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-27692-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Valued Fields
Valued Fields
Author 
Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-30035-X
Format: 
Availability 
Online Library~1
Available:
Copies: