Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic
An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic
Author 
Abe, Jair Minoro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-97810-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings
Author 
Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-05134-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Tutarsızlıklar
Tutarsızlıklar
Author 
Steinweg, Marcus Ünal, Erkal.
Preferred Shelf Number 
BC199.I45 S7419 2019
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23264-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings
Author 
Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20807-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo
Paraconsistency : the logical way to the inconsistent : proceedings of the world congress held in São Paulo
Author 
World Congress on Paraconsistency (2nd : 2000 : São Paulo, Brazil) Carnielli, Walter A. (Walter Alexandre) Coniglio, Marcelo E., 1963- D'Ottaviano, Itala M. L., 1944- CRC Press LLC.
Preferred Shelf Number 
BC199 .I45
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429222306
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies: