Arama Sonu&ccedil;lar&#305; Social sciences&mdash;Data processing. - Daralt&#305;lm&#305;&#351;: Logic programming. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSocial$002bsciences$0025E2$002580$002594Data$002bprocessing.$0026qf$003dSUBJECT$002509Konu$002509Logic$002bprogramming.$002509Logic$002bprogramming.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-18T09:48:32Z Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:608598 2026-03-18T09:48:32Z 2026-03-18T09:48:32Z Yazar&#160;Huang, Letian. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-96-6400-9">https://doi.org/10.1007/978-981-96-6400-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605043 2026-03-18T09:48:32Z 2026-03-18T09:48:32Z Yazar&#160;Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842&#160;Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-71379-8">https://doi.org/10.1007/978-3-031-71379-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>