Search Results for Languages.

6 sonuç bulundu

000000DEFAULT_TR

A Course in Formal Languages, Automata and Groups

Yazar

Chiswell, Ian M. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-84800-940-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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:

A Course on Mathematical Logic

Yazar

Srivastava, Shashi Mohan. author. SpringerLink (Online service)

Yer Numarası

ONLINE(331853.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-1-4614-5746-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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:

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings

Yazar

Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334580.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-38317-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Algebraic semantics of imperative programs

Yazar

Goguen, Joseph. Malcolm, Grant.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}