Search Results for tableaux.

16 sonuç bulundu

1 2

0000DEFAULT_TR

13.

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Yazar

Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-45824-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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:

15.

Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

Yazar

Bulling, Nils. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-17130-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Combinatorial Pattern Matching 26th Annual Symposium, CPM 2015, Ischia Island, Italy, June 29 -- July 1, 2015, Proceedings

Yazar

Cicalese, Ferdinando. editor. Porat, Ely. editor. Vaccaro, Ugo. editor. (orcid) SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-19929-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

	{displayName}	{count}
{error}