Search Results for Functional programming languages.

5 sonuç bulundu

00000DEFAULT_TR

Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

Yazar

Hur, Chung-Kil. editor. SpringerLink (Online service)

Yer Numarası

XX(521341.1)

Elektronik Erişim

https://doi.org/10.1007/978-981-99-8311-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Yazar

Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)

Yer Numarası

XX(519043.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-22102-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers

Yazar

Zsók, Viktória. editor. Horváth, Zoltán. editor. Csató, Lehel. editor. SpringerLink (Online service)

Yer Numarası

XX(519213.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

Yazar

Falaschi, Moreno. editor. SpringerLink (Online service)

Yer Numarası

XX(518861.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Yazar

Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)

Yer Numarası

XX(518878.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-21365-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}