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 Hartmann, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520344.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520788.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521244.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability 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 Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.<br/>Preferred Shelf Number XX(521379.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>