Limit Search Results
Author
SpringerLink (Online service)
(11)
Galatos, Nikolaos.
(2)
Adámek, J..
(1)
Andréka, Hajnal. editor.
(1)
Arnold, A. (André), 1945-
(1)
Language
Publication Date
-
Subject
Algebraic logic.
(11)
Algebra.
(4)
Lattice theory.
(3)
Logic, Symbolic and mathematical.
(3)
Mathematics.
(3)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
26 Results Found Subscribe to search results
00000000000000000000000000DEFAULT
Print
1. 
Cover image for Cylindric-like Algebras and Algebraic Logic
Cylindric-like Algebras and Algebraic Logic
Author 
Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333922.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35025-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications
LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications
Author 
Stark, W. Richard.
Preferred Shelf Number 
QA 76.73.L23 S72 1990
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Logic in algebraic form Three languages and theories
Logic in algebraic form Three languages and theories
Author 
Craig, William, 1918-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520788.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520344.1)
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Author 
Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521244.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45072-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Author 
Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Preferred Shelf Number 
XX(521379.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-50959-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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 
XX(519225.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47666-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I
Author 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number 
XX(519313.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19324-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
Author 
de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number 
XX(518949.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-47709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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 
XX(519137.1)
Electronic Access 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
13. 
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 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
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:
21. 
Cover image for Rudiments of [mu]-calculus
Rudiments of [mu]-calculus
Author 
Arnold, A. (André), 1945- Niwiński, Damian.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Cafe an industrial-strength algebraic formal method
Cafe an industrial-strength algebraic formal method
Author 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Symbolic Methods in Control System Analysis and Design
Symbolic Methods in Control System Analysis and Design
Author 
Munro, Neil, ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCE056E
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
Author 
Hailperin, Theodore.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444879523
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for An algebraic approach to non-classical logics
An algebraic approach to non-classical logics
Author 
Rasiowa, Helena.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422641
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Ordinal algebras
Ordinal algebras
Author 
Tarski, Alfred.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533845
Format: 
Availability 
Online Library~1
Available:
Copies: