Search Results for Computer logic. - Narrowed by: Category Theory, Homological Algebra.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Category$002bTheory$00252C$002bHomological$002bAlgebra.$002509Category$002bTheory$00252C$002bHomological$002bAlgebra.$0026ic$003dtrue$0026ps$003d300?2024-08-18T19:14:36ZTemporal Type Theory A Topos-Theoretic Approach to Systems and Behaviorent://SD_ILS/0/SD_ILS:4281182024-08-18T19:14:36Z2024-08-18T19:14:36ZYazar Schultz, Patrick. author.<br/><a href="https://doi.org/10.1007/978-3-030-00704-1">https://doi.org/10.1007/978-3-030-00704-1</a><br/>Format: Electronic Resources<br/>Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measuresent://SD_ILS/0/SD_ILS:232332024-08-18T19:14:36Z2024-08-18T19:14:36ZYazar Doberkat, Ernst-Erich. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22750-4">http://dx.doi.org/10.1007/978-3-319-22750-4</a><br/>Format: Electronic Resources<br/>