Limit Search Results
Author
SpringerLink (Online service)
(23)
Harlow, James H.
(2)
Mesnager, Sihem. editor.
(2)
Skowroński, Andrzej.
(2)
Agarwal, Ravi P. author.
(1)
Language
Publication Date
-
Subject
Mathematics.
(3)
Type theory.
(3)
Artificial intelligence.
(2)
Electric transformers.
(2)
Engineering.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
45 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 
ONLINE(357112.1)
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
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 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 
XX(520259.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
Cover image for Fixed Point Theory for Lipschitzian-type Mappings with Applications
Fixed Point Theory for Lipschitzian-type Mappings with Applications
Author 
Sahu, D. R. author. O'Regan, Donal. author. Agarwal, Ravi P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75818-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Elements of the Representation Theory of Associative Algebras Volume 2. Tubes and Concealed Algebras of Euclidean type.
Elements of the Representation Theory of Associative Algebras Volume 2. Tubes and Concealed Algebras of Euclidean type.
Author 
Simson, Daniel. Skowroński, Andrzej.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets