Search Results for Social sciences -- Data processing. - Narrowed by: Mathematical logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSocial$002bsciences$002b--$002bData$002bprocessing.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ps$003d300?dt=list 2026-04-03T16:35:58Z Advances in Brain Inspired Cognitive Systems 14th International Conference, BICS 2024, Hefei, China, December 6-8, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607584 2026-04-03T16:35:58Z 2026-04-03T16:35:58Z Author&#160;Hussain, Amir. editor.&#160;Jiang, Bo. editor.&#160;Ren, Jinchang. editor.&#160;Mahmud, Mufti. editor.&#160;Yang, Erfu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-96-2882-7">https://doi.org/10.1007/978-981-96-2882-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~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-04-03T16:35:58Z 2026-04-03T16:35:58Z Author&#160;Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842&#160;Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Brain Inspired Cognitive Systems 13th International Conference, BICS 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings ent://SD_ILS/0/SD_ILS:603611 2026-04-03T16:35:58Z 2026-04-03T16:35:58Z Author&#160;Ren, Jinchang. editor.&#160;Hussain, Amir. editor. (orcid)0000-0002-8080-082X&#160;Liao, Iman Yi. editor.&#160;Chen, Rongjun. editor.&#160;Huang, Kaizhu. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-1417-9">https://doi.org/10.1007/978-981-97-1417-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>