Search Results for Algebraic logic.

Cylindric-like Algebras and Algebraic Logic

2024-11-24T13:09:02Z

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

2024-11-24T13:09:02Z

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

2024-11-24T13:09:02Z

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

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

2024-11-24T13:09:02Z

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

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

2024-11-24T13:09:02Z

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

Mathematics for Computer Scientists A Practice-Oriented Approach

2024-11-24T13:09:02Z

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

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

2024-11-24T13:09:02Z

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

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

2024-11-24T13:09:02Z

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: 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

2024-11-24T13:09:02Z

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

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

2024-11-24T13:09:02Z

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

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

2024-11-24T13:09:02Z

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

Algebraic Theories A Categorical Introduction to General Algebra

2024-11-24T13:09:02Z

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

2024-11-24T13:09:02Z

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

Classical algebra its nature, origins, and uses

2024-11-24T13:09:02Z

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

2024-11-24T13:09:02Z

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

2024-11-24T13:09:02Z

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

2024-11-24T13:09:02Z

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

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories

2024-11-24T13:09:02Z

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

Valued Fields

2024-11-24T13:09:02Z

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

Coherent systems

2024-11-24T13:09:02Z

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

2024-11-24T13:09:02Z

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

Cafe an industrial-strength algebraic formal method

2024-11-24T13:09:02Z

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

2024-11-24T13:09:02Z

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

2024-11-24T13:09:02Z

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

2024-11-24T13:09:02Z

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

2024-11-24T13:09:02Z

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