Arama Sonuçlarını Sınırlandır
Yazar
Dil
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday için kapak resmi
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Yazar 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
XX(520864.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings için kapak resmi
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Yazar 
Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Yer Numarası 
XX(520823.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26689-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings için kapak resmi
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Yazar 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520976.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings için kapak resmi
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Yazar 
Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Yer Numarası 
XX(521192.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40875-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: