Search Results for Language and logic.

29 sonuç bulundu

1 2 3

00000DEFAULT_TR

25.

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Yazar

Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)

Yer Numarası

XX(520984.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

Yazar

Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)

Yer Numarası

XX(521244.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-45072-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

Mining Intelligence and Knowledge Exploration 9th International Conference, MIKE 2023, Kristiansand, Norway, June 28-30, 2023, Proceedings

Yazar

Kadry, Seifedine. editor. Prasath, Rajendra. editor. SpringerLink (Online service)

Yer Numarası

XX(521178.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-44084-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings

Yazar

Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.

Yer Numarası

XX(521126.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42935-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings

Yazar

Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)

Yer Numarası

XX(521127.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-43264-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2 3

	{displayName}	{count}
{error}