Search Results for Number theory. - Narrowed by: Computer logic.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dNumber$002btheory.$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026ps$003d300?2024-08-13T03:10:40ZComputing and Combinatorics 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedingsent://SD_ILS/0/SD_ILS:231342024-08-13T03:10:40Z2024-08-13T03:10:40ZYazar Xu, Dachuan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21398-9">http://dx.doi.org/10.1007/978-3-319-21398-9</a><br/>Format: Electronic Resources<br/>Models of Strategic Reasoning Logics, Games, and Communitiesent://SD_ILS/0/SD_ILS:248742024-08-13T03:10:40Z2024-08-13T03:10:40ZYazar van Benthem, Johan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48540-8">http://dx.doi.org/10.1007/978-3-662-48540-8</a><br/>Format: Electronic Resources<br/>Big Data Integration Theory Theory and Methods of Database Mappings, Programming Languages, and Semanticsent://SD_ILS/0/SD_ILS:204282024-08-13T03:10:40Z2024-08-13T03:10:40ZYazar Majkić, Zoran. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-04156-8">http://dx.doi.org/10.1007/978-3-319-04156-8</a><br/>Format: Electronic Resources<br/>Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4283262024-08-13T03:10:40Z2024-08-13T03:10:40ZYazar Mercaş, Robert. editor. (orcid)0000-0001-6034-433X<br/><a href="https://doi.org/10.1007/978-3-030-28796-2">https://doi.org/10.1007/978-3-030-28796-2</a><br/>Format: Electronic Resources<br/>Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applicationsent://SD_ILS/0/SD_ILS:182852024-08-13T03:10:40Z2024-08-13T03:10:40ZYazar O'Regan, Gerard. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44561-8">http://dx.doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4281862024-08-13T03:10:40Z2024-08-13T03:10:40ZYazar Fontaine, Pascal. editor.<br/><a href="https://doi.org/10.1007/978-3-030-29436-6">https://doi.org/10.1007/978-3-030-29436-6</a><br/>Format: Electronic Resources<br/>Collaborative Design for Embedded Systems Co-modelling and Co-simulationent://SD_ILS/0/SD_ILS:239562024-08-13T03:10:40Z2024-08-13T03:10:40ZYazar Fitzgerald, John. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54118-6">http://dx.doi.org/10.1007/978-3-642-54118-6</a><br/>Format: Electronic Resources<br/>