Search Results for - Narrowed by: Logic design. - Mathematical logic.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ps$003d300?2024-05-18T08:05:01ZLogic Functions and Equations Binary Models for Computer Scienceent://SD_ILS/0/SD_ILS:4280682024-05-18T08:05:01Z2024-05-18T08:05:01ZYazar Posthoff, Christian. author.<br/><a href="https://doi.org/10.1007/978-3-030-02420-8">https://doi.org/10.1007/978-3-030-02420-8</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4282712024-05-18T08:05:01Z2024-05-18T08:05:01ZYazar Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792<br/><a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>Johan van Benthem on Logic and Information Dynamicsent://SD_ILS/0/SD_ILS:207632024-05-18T08:05:01Z2024-05-18T08:05:01ZYazar Baltag, Alexandru. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-06025-5">http://dx.doi.org/10.1007/978-3-319-06025-5</a><br/>Format: Electronic Resources<br/>