Limit Search Results
Author
SpringerLink (Online service)
(80)
Castillo, Oscar. editor. (orcid)0000-0002-7385-5689
(5)
Melin, Patricia. editor. (orcid)0000-0001-5798-1426
(5)
Baczyński, Michał. editor. (orcid)0000-0002-4442-2112
(2)
Castillo, Oscar. author.
(2)
Language
English
(156)
Publication Date
-
Subject
Artificial intelligence.
(21)
Computational intelligence.
(21)
Electronic books.
(18)
Computer science.
(10)
TECHNOLOGY & ENGINEERING.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
156 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Categorical logic and type theory
Categorical logic and type theory
Author 
Jacobs, Bart.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444501707
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Phase type distribution : theory and application
Phase type distribution : theory and application
Author 
Horváth, András, author. Telek, Miklós, author.
Preferred Shelf Number 
QA274.7 .H67 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119419808
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Treatise on Intuitionistic Type Theory
Treatise on Intuitionistic Type Theory
Author 
Granström, Johan Georg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-1736-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Multivariate Bonferroni-type inequalities : theory and applications
Multivariate Bonferroni-type inequalities : theory and applications
Author 
Chen, Tuhao, author.
Preferred Shelf Number 
QA273.6 .C457 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Type-2 Fuzzy Logic: Theory and Applications
Type-2 Fuzzy Logic: Theory and Applications
Author 
Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for A transfinite type theory with type variables
A transfinite type theory with type variables
Author 
Andrews, P. B. (Peter Bruce), 1937-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534026
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis
Type-3 Fuzzy Logic and Fractal Theory for Medical Diagnosis
Author 
Melin, Patricia. author. (orcid)0000-0001-5798-1426 Castillo, Oscar. author. (orcid)0000-0002-7385-5689 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81655-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Author 
Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-61716-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications
Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications
Author 
Castillo, Oscar. editor. Kumar, Anupam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26332-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Noncommutative polynomial algebras of solvable type and their modules : basic constructive-computational theory and methods
Noncommutative polynomial algebras of solvable type and their modules : basic constructive-computational theory and methods
Author 
Li, Huishi, author.
Preferred Shelf Number 
QA251.4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003213192
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