Search Results for - Narrowed by: Logic design. - Mathematical logic. SirsiDynix Enterprise https://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:01Z Logic Functions and Equations Binary Models for Computer Science ent://SD_ILS/0/SD_ILS:428068 2024-05-18T08:05:01Z 2024-05-18T08:05:01Z Yazar&#160;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:&#160;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&ndash;11, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428271 2024-05-18T08:05:01Z 2024-05-18T08:05:01Z Yazar&#160;Vojnar, Tom&aacute;&scaron;. 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:&#160;Electronic Resources<br/> Johan van Benthem on Logic and Information Dynamics ent://SD_ILS/0/SD_ILS:20763 2024-05-18T08:05:01Z 2024-05-18T08:05:01Z Yazar&#160;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:&#160;Electronic Resources<br/>