Search Results for Logic, Symbolic and mathematical.

357 sonuç bulundu

1 .. 3 4 5 6 7 .. 30

000000000000DEFAULT_TR

49.

Stochastic Calculus with Infinitesimals

Yazar

Herzberg, Frederik. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333673.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-33149-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

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:

51.

Mathematics of Fuzzy Sets and Fuzzy Logic

Yazar

Bede, Barnabas. author. SpringerLink (Online service)

Yer Numarası

ONLINE(333950.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35221-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2

Yazar

Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334018.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Yazar

Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(334038.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-35722-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Yazar

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(335032.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-40948-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Yazar

Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(336850.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-540-69444-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus

Yazar

Tapp, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336968.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler

Yazar

Zeidler, Eberhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337476.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-658-00297-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

Yazar

Hoffmann, Dirk W. author. SpringerLink (Online service)

Yer Numarası

ONLINE(338283.1)

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-8274-3000-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

After Gödel : Platonism and rationalism in mathematics and logic

Yazar

Tieszen, Richard L., author.

Yer Numarası

QA9 T54 2013

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

60.

Mathematics of Discrete Structures for Computer Science

Yazar

Pace, Gordon J. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/978-3-642-29840-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 .. 3 4 5 6 7 .. 30

	{displayName}	{count}
{error}