Search Results for Algebraic logic.

26 Results Found

00000000000000000000000000DEFAULT

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:

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:

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:

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:

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:

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:

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:

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:

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:

10.

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:

11.

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

13.

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:

14.

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.

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.

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.

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.

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:

19.

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:

20.

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.

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.

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.

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.

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.

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.

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:

	{displayName}	{count}
{error}