Limit Search Results
Author
SpringerLink (Online service)
(41)
Castillo, Oscar. author.
(2)
Chan, Lawrence S.
(2)
Dutta, Hemen. editor.
(2)
Melin, Patricia. author.
(2)
Language
Publication Date
-
Subject
Computational intelligence.
(10)
Artificial intelligence.
(9)
Engineering mathematics.
(4)
Mathematics.
(4)
Type theory.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
84 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 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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
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. 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:
8. 
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:
9. 
Cover image for Introduction to type-2 fuzzy logic control : theory and applications
Introduction to type-2 fuzzy logic control : theory and applications
Author 
Mendel, Jerry M., 1938- author. Hagras, Hani, author. Tan, Woei-Wan, author. Melek, William W., author. Ying, Hao, 1958- author.
Preferred Shelf Number 
ONLINE(341947.1)
Electronic Access 
CLICK HERE for online access
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1710961
ebrary http://site.ebrary.com/id/10882750
John Wiley http://dx.doi.org/10.1002/9781118886540
MyiLibrary http://www.myilibrary.com?id=618887
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Advances in Type-2 Fuzzy Sets and Systems Theory and Applications
Advances in Type-2 Fuzzy Sets and Systems Theory and Applications
Author 
Sadeghian, Alireza. editor. Mendel, Jerry M. editor. Tahayori, Hooman. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332085.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6666-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Mean Field Games and Mean Field Type Control Theory
Mean Field Games and Mean Field Type Control Theory
Author 
Bensoussan, Alain. author. Frehse, Jens. author. Yam, Phillip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332423.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-8508-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Weyl group multiple Dirichlet series : type A combinatorial theory
Weyl group multiple Dirichlet series : type A combinatorial theory
Author 
Brubaker, Ben, 1976- Bump, Daniel, 1952- Friedberg, Solomon, 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7rwt6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action