Arama Sonuçları Axioms. - Daraltılmış: 2023SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dAxioms.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092023$0025092023$0026ps$003d300?2024-12-11T22:31:30ZAnalysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5208642024-12-11T22:31:30Z2024-12-11T22:31:30ZYazar Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520864.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-31476-6">https://doi.org/10.1007/978-3-031-31476-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208232024-12-11T22:31:30Z2024-12-11T22:31:30ZYazar Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520823.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-26689-8">https://doi.org/10.1007/978-3-031-26689-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209762024-12-11T22:31:30Z2024-12-11T22:31:30ZYazar Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520976.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211922024-12-11T22:31:30Z2024-12-11T22:31:30ZYazar Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521192.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-40875-5">https://doi.org/10.1007/978-3-031-40875-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>