Search Results for Algebraic logic.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Algebraic logic.

Yazar

Galatos, Nikolaos.

(2)

(1)

Arnold, A. (André), 1945-

(1)

Cooke, Roger, 1942-

(1)

Craig, William, 1918-

(1)

Hailperin, Theodore.

(1)

Kagan, Evgeny. author.

(1)

Lawvere, F. W..

(1)

Munro, Neil, ed.

(1)

Niwiński, Damian.

(1)

Rasiowa, Helena.

(1)

(1)

Rybalov, Alexander. author.

(1)

Schlechta, Karl.

(1)

SpringerLink (Online service)

(1)

Tarski, Alfred.

(1)

(1)

(1)

Yager, Ronald. author.

(1)

Tümünü genişlet

Dil

(13)

Yayın Yılı

-

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Lattice theory.

(3)

(2)

Algebra -- History.

(1)

Algebra, Boolean.

(1)

Algebra--Data processing.

(1)

Arithmetic -- Foundations.

(1)

Boole, George, 1815-1864.

(1)

Categories (Mathematics)

(1)

Computer Science Logic and Foundations of Programming.

(1)

Computer science -- Mathematics.

(1)

Computer science.

(1)

Control theory.

(1)

Differential-algebraic equations.

(1)

Electronic books.

(1)

Fixed point theory.

(1)

Laplace transformation.

(1)

Linear programming.

(1)

Linear systems.

(1)

(1)

MATHEMATICS / Algebra / Abstract

(1)

MATHEMATICS / Algebra / General

(1)

Machine theory.

(1)

Mathematical statistics.

(1)

Mathematische Logik.

(1)

Modality (Logic)

(1)

Monotonic functions.

(1)

Nonlinear control theory.

(1)

Nonmonotonic reasoning.

(1)

(1)

(1)

Probability and Statistics in Computer Science.

(1)

(1)

Robust control.

(1)

(1)

Semantics -- Mathematical models.

(1)

Sliding mode control.

(1)

(1)

THEORIE EQUATIONNELLE.

(1)

Trees (Graph theory).

(1)

langage algébrique.

(1)

logique premier ordre.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Taylor Francis E-Kitap Koleksiyonu

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

13 sonuç bulundu

Arama sonuçlarına abone ol

1 2

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Logic in algebraic form Three languages and theories için kapak resmi

Logic in algebraic form Three languages and theories

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:

2.

Multi-valued Logic for Decision-Making Under Uncertainty için kapak resmi

Multi-valued Logic for Decision-Making Under Uncertainty

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:

3.

BCC-ALGEBRAS için kapak resmi

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:

4.

Algebraic Theories A Categorical Introduction to General Algebra için kapak resmi

Algebraic Theories A Categorical Introduction to General Algebra

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:

5.

Classical algebra its nature, origins, and uses için kapak resmi

Classical algebra its nature, origins, and uses

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:

6.

Residuated lattices an algebraic glimpse at substructural logics için kapak resmi

Residuated lattices an algebraic glimpse at substructural logics

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:

7.

Residuated lattices an algebraic glimpse at substructural logics için kapak resmi

Residuated lattices an algebraic glimpse at substructural logics

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:

8.

Coherent systems için kapak resmi

Coherent systems

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:

9.

Rudiments of [mu]-calculus için kapak resmi

Rudiments of [mu]-calculus

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:

10.

Symbolic Methods in Control System Analysis and Design için kapak resmi

Symbolic Methods in Control System Analysis and Design

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:

11.

Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory için kapak resmi

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

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:

12.

An algebraic approach to non-classical logics için kapak resmi

An algebraic approach to non-classical logics

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11