Search Results for Algebraic logic.

1.

Cylindric-like Algebras and Algebraic Logic

Yazar

Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(333922.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35025-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Algebraic Quasi-Fractal Logic of Smart Systems Theory and Practice

Yazar

Serdyukova, Natalia. editor. Serdyukov, Vladimir. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66040-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Fuzzy Logic of Quasi-Truth: An Algebraic Treatment

Yazar

Di Nola, Antonio. author. Grigolia, Revaz. author. Turunen, Esko. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30406-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

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

Yazar

Stark, W. Richard.

Yer Numarası

QA 76.73.L23 S72 1990

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

5.

Logic in algebraic form Three languages and theories

Yazar

Craig, William, 1918-

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444104779

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Category Theory Using Haskell An Introduction with Moggi and Yoneda

Yazar

Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-68538-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Multi-valued Logic for Decision-Making Under Uncertainty

Yazar

Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74762-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

An Introduction to Curry Systems A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic

Yazar

Abe, Jair Minoro. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-97810-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings

Yazar

Day, Joel D. editor. (orcid)0000-0002-3660-7766 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-66159-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Mathematics for Computer Scientists A Practice-Oriented Approach

Yazar

Hartmann, Peter. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-40423-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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

Yazar

Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-24841-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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

Yazar

Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-45072-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

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

Yazar

Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50959-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

BCC-ALGEBRAS

Yazar

Thomys, Janus.

Yer Numarası

QA10

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Semiconductor basics : a qualitative, non-mathematical explanation of how semiconductors work and how they are used

Yazar

Domingo, George, 1937- author.

Yer Numarası

TK7871.85 .D66 2020

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597124

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Geographic data imperfection. 1, From theory to applications

Yazar

Batton-Hubert, Mireille, editor. Desjardin, Eric, editor. Pinet, Francois, 1973- editor.

Yer Numarası

G70.217 .G46

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119507284

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

An introduction to proof through real analysis

Yazar

Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.

Yer Numarası

QA9.54 .M335 2017

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Yazar

Ölveczky, Peter Csaba. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

Yazar

Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-62809-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Yazar

Dediu, Adrian-Horia. editor. Janoušek, Jan. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-30000-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Yazar

Brlek, Srečko. editor. Reutenauer, Christophe. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-53132-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory

Yazar

Saminger-Platz, Susanne. editor. Mesiar, Radko. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-28808-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

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

Yazar

Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-19324-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

24.

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

Yazar

de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-47709-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

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

Yazar

van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-48561-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

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

Yazar

Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-47666-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Algebraic Theories A Categorical Introduction to General Algebra

Yazar

Adámek, J.. Rosický, J.. Vitale, E. M.. Lawvere, F. W..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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

Yazar

International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.

Yer Numarası

TP155.7 .I552 2009

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Classical algebra its nature, origins, and uses

Yazar

Cooke, Roger, 1942-

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

Residuated lattices an algebraic glimpse at substructural logics

Yazar

Galatos, Nikolaos.

Yer Numarası

ONLINE

Elektronik Erişim

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

Residuated lattices an algebraic glimpse at substructural logics

Yazar

Galatos, Nikolaos.

Yer Numarası

ONLINE

Elektronik Erişim

Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444521415

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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

Yazar

Wang, Frank Y. Wiley InterScience (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

Valued Fields

Yazar

Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-30035-X

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories

Yazar

Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/3-540-27692-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

Coherent systems

Yazar

Schlechta, Karl.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444517890

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

Computer science handbook

Yazar

Tucker, Allen B.

Yer Numarası

QA76 .C54755 2004

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

Rudiments of [mu]-calculus

Yazar

Arnold, A. (André), 1945- Niwiński, Damian.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444506207

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

Algebraic statistics : computational commutative algebra in statistics

Yazar

Pistone, Giovanni., author. Riccomagno, Eva. Wynn, Henry P.

Yer Numarası

QA276 .P53 2001

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

Cafe an industrial-strength algebraic formal method

Yazar

Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444505569

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

Symbolic Methods in Control System Analysis and Design

Yazar

Munro, Neil, ed.

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1049/PBCE056E

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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

Yazar

Hailperin, Theodore.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444879523

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

42.

An algebraic approach to non-classical logics

Yazar

Rasiowa, Helena.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780720422641

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

Ordinal algebras

Yazar

Tarski, Alfred.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444533845

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}