Search Results for Algebraic logic. - Narrowed by: 2023 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAlgebraic$002blogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026ps$003d300? 2024-10-30T05:38:52Z Mathematics for Computer Scientists A Practice-Oriented Approach ent://SD_ILS/0/SD_ILS:520344 2024-10-30T05:38:52Z 2024-10-30T05:38:52Z Author&#160;Hartmann, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520344.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520788 2024-10-30T05:38:52Z 2024-10-30T05:38:52Z Author&#160;Hanus, Michael. editor.&#160;Inclezan, Daniela. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520788.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521244 2024-10-30T05:38:52Z 2024-10-30T05:38:52Z Author&#160;Fensel, Anna. editor.&#160;Ozaki, Ana. editor.&#160;Roman, Dumitru. editor.&#160;Soylu, Ahmet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521244.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-45072-3">https://doi.org/10.1007/978-3-031-45072-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521379 2024-10-30T05:38:52Z 2024-10-30T05:38:52Z Author&#160;Campagner, Andrea. editor.&#160;Urs Lenz, Oliver. editor.&#160;Xia, Shuyin. editor.&#160;&#346;l&#281;zak, Dominik. editor.&#160;W&#261;s, Jaros&#322;aw. editor.<br/>Preferred Shelf Number&#160;XX(521379.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50959-9">https://doi.org/10.1007/978-3-031-50959-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>