Limit Search Results
Author
SpringerLink (Online service)
(22)
Galatos, Nikolaos.
(2)
Abe, Jair Minoro. author.
(1)
Adámek, J..
(1)
Andréka, Hajnal. editor.
(1)
Language
Publication Date
-
Subject
Algebraic logic.
(13)
Algebra.
(7)
Computer science -- Mathematics.
(6)
Computer science.
(6)
Machine theory.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
43 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47666-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algebraic Theories A Categorical Introduction to General Algebra
Algebraic Theories A Categorical Introduction to General Algebra
Author 
Adámek, J.. Rosický, J.. Vitale, E. M.. Lawvere, F. W..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Design for energy and the environment : proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design
Design for energy and the environment : proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design
Author 
International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.
Preferred Shelf Number 
TP155.7 .I552 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Classical algebra its nature, origins, and uses
Classical algebra its nature, origins, and uses
Author 
Cooke, Roger, 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Click here to view book
Access restricted to Education Centre Library use, and to students, faculty, and staff of Nipissing University.
John Wiley http://dx.doi.org/10.1002/9780470277980
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0810/2007041610-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Residuated lattices an algebraic glimpse at substructural logics
Residuated lattices an algebraic glimpse at substructural logics
Author 
Galatos, Nikolaos.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Residuated lattices an algebraic glimpse at substructural logics
Residuated lattices an algebraic glimpse at substructural logics
Author 
Galatos, Nikolaos.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Physics with MAPLE the computer algebra resource for mathematical methods in physics
Physics with MAPLE the computer algebra resource for mathematical methods in physics
Author 
Wang, Frank Y. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527618934
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
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 Coherent systems
Coherent systems
Author 
Schlechta, Karl.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444517890
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer science handbook
Computer science handbook
Author 
Tucker, Allen B.
Preferred Shelf Number 
QA76 .C54755 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action