Search Results for Algebraic logic. - Narrowed by: English

Cylindric-like Algebras and Algebraic Logic

2026-01-16T14:00:00Z

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: Electronic Resources
Availability Online Library~1

LISP, lore and logic : an algebraic view of LISP programming, foundations, and applications

2026-01-16T14:00:00Z

Author Stark, W. Richard.
Preferred Shelf Number QA 76.73.L23 S72 1990
Format: Books
Availability Beytepe Library~1

Logic in algebraic form Three languages and theories

2026-01-16T14:00:00Z

Author Craig, William, 1918-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: Electronic Resources
Availability Online Library~1

Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

2026-01-16T14:00:00Z

Author Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-45072-3
Format: Electronic Resources
Availability Online Library~1

Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings

2026-01-16T14:00:00Z

Author Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50959-9
Format: Electronic Resources
Availability Online Library~1

Mathematics for Computer Scientists A Practice-Oriented Approach

2026-01-16T14:00:00Z

Author Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-40423-9
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2026-01-16T14:00:00Z

Author Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24841-2
Format: Electronic Resources
Availability Online Library~1

BCC-ALGEBRAS

2026-01-16T14:00:00Z

Author Thomys, Janus.
Preferred Shelf Number QA10
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003331568 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

2026-01-16T14:00:00Z

Author de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-47709-0
Format: Electronic Resources
Availability Online Library~1

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

2026-01-16T14:00:00Z

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: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I

2026-01-16T14:00:00Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-19324-3
Format: Electronic Resources
Availability Online Library~1

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

2026-01-16T14:00:00Z

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: Electronic Resources
Availability Online Library~1

Algebraic Theories A Categorical Introduction to General Algebra

2026-01-16T14:00:00Z

Author Adámek, J.. Rosický, J.. Vitale, E. M.. Lawvere, F. W..
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Design for energy and the environment : proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Design

2026-01-16T14:00:00Z

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: Books
Availability Online Library~1

Classical algebra its nature, origins, and uses

2026-01-16T14:00:00Z

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: Electronic Resources
Availability Online Library~1

Residuated lattices an algebraic glimpse at substructural logics

2026-01-16T14:00:00Z

Author Galatos, Nikolaos.
Preferred Shelf Number ONLINE
Electronic Access Full text ScienceDirect http://www.sciencedirect.com/science/book/9780444521415
Format: Electronic Resources
Availability Online Library~1

Residuated lattices an algebraic glimpse at substructural logics

2026-01-16T14:00:00Z

Physics with MAPLE the computer algebra resource for mathematical methods in physics

2026-01-16T14:00:00Z

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: Electronic Resources
Availability Online Library~1

Valued Fields

2026-01-16T14:00:00Z

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: Electronic Resources
Availability Online Library~1

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories

2026-01-16T14:00:00Z

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: Electronic Resources
Availability Online Library~1

Computer science handbook

2026-01-16T14:00:00Z

Author Tucker, Allen B.
Preferred Shelf Number QA76 .C54755 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Coherent systems

2026-01-16T14:00:00Z

Author Schlechta, Karl.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444517890
Format: Electronic Resources
Availability Online Library~1

Rudiments of [mu]-calculus

2026-01-16T14:00:00Z

Author Arnold, A. (André), 1945- Niwiński, Damian.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444506207
Format: Electronic Resources
Availability Online Library~1

Algebraic statistics : computational commutative algebra in statistics

2026-01-16T14:00:00Z

Author Pistone, Giovanni., author. Riccomagno, Eva. Wynn, Henry P.
Preferred Shelf Number QA276 .P53 2001
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Cafe an industrial-strength algebraic formal method

2026-01-16T14:00:00Z

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: Electronic Resources
Availability Online Library~1

Symbolic Methods in Control System Analysis and Design

2026-01-16T14:00:00Z

Author Munro, Neil, ed.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1049/PBCE056E
Format: Electronic Resources
Availability Online Library~1

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory

2026-01-16T14:00:00Z

Author Hailperin, Theodore.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444879523
Format: Electronic Resources
Availability Online Library~1

An algebraic approach to non-classical logics

2026-01-16T14:00:00Z

Author Rasiowa, Helena.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780720422641
Format: Electronic Resources
Availability Online Library~1

Ordinal algebras

2026-01-16T14:00:00Z

Author Tarski, Alfred.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533845
Format: Electronic Resources
Availability Online Library~1