Search Results for Computers. - Narrowed by: Logic design. - Mathematical Logic and Foundations.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputers.$0026qf$003dSUBJECT$002509Konu$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFoundations.$002509Mathematical$002bLogic$002band$002bFoundations.$0026ic$003dtrue$0026ps$003d300?
2024-08-19T05:33:26Z
Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:223866
2024-08-19T05:33:26Z
2024-08-19T05:33:26Z
Yazar James, Phillip. editor.<br/><a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Electronic Resources<br/>
Logics for Computer Science Classical and Non-Classical
ent://SD_ILS/0/SD_ILS:221823
2024-08-19T05:33:26Z
2024-08-19T05:33:26Z
Yazar Wasilewska, Anita. author.<br/><a href="https://doi.org/10.1007/978-3-319-92591-2">https://doi.org/10.1007/978-3-319-92591-2</a><br/>Format: Electronic Resources<br/>
Logic Functions and Equations Binary Models for Computer Science
ent://SD_ILS/0/SD_ILS:428068
2024-08-19T05:33:26Z
2024-08-19T05:33:26Z
Yazar 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/>
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:223846
2024-08-19T05:33:26Z
2024-08-19T05:33:26Z
Yazar Baltag, Alexandru. editor.<br/><a href="https://doi.org/10.1007/978-3-662-55665-8">https://doi.org/10.1007/978-3-662-55665-8</a><br/>Format: Electronic Resources<br/>