Search Results for Computer logic.

13 sonuç bulundu

1 2

000000000000DEFAULT_TR

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

Yazar

Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71177-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Yazar

Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71162-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

Yazar

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74776-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings

Yazar

He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-2292-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63787-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63797-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63800-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV

Yazar

Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-63803-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings

Yazar

Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Yazar

Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

Yazar

Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-62809-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Yazar

Amblard, Maxime. editor. de Groote, Philippe. editor. Pogodalla, Sylvain. editor. Retoré, Christian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-662-53826-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

	{displayName}	{count}
{error}