Search Results for - Narrowed by: Springer E-Book Collection - Mathematical logic. - Math Applications in Computer Science.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Math$002bApplications$002bin$002bComputer$002bScience.$002509Math$002bApplications$002bin$002bComputer$002bScience.$0026ps$003d300$0026isd$003dtrue?2024-06-02T01:25:47ZAutomated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4280422024-06-02T01:25:47Z2024-06-02T01:25:47ZYazar Cerrito, Serenella. editor.<br/><a href="https://doi.org/10.1007/978-3-030-29026-9">https://doi.org/10.1007/978-3-030-29026-9</a><br/>Format: Electronic Resources<br/>Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4286402024-06-02T01:25:47Z2024-06-02T01:25:47ZYazar Seki, Hirosato. editor.<br/><a href="https://doi.org/10.1007/978-3-030-14815-7">https://doi.org/10.1007/978-3-030-14815-7</a><br/>Format: Electronic Resources<br/>Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4290952024-06-02T01:25:47Z2024-06-02T01:25:47ZYazar Hutton, Graham. editor. (orcid)0000-0001-9584-5150<br/><a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format: Electronic Resources<br/>Directed Algebraic Topology and Concurrencyent://SD_ILS/0/SD_ILS:165252024-06-02T01:25:47Z2024-06-02T01:25:47ZYazar Fajstrup, Lisbeth. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15398-8">http://dx.doi.org/10.1007/978-3-319-15398-8</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.ent://SD_ILS/0/SD_ILS:230632024-06-02T01:25:47Z2024-06-02T01:25:47ZYazar Kerber, Manfred. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20615-8">http://dx.doi.org/10.1007/978-3-319-20615-8</a><br/>Format: Electronic Resources<br/>Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:248542024-06-02T01:25:47Z2024-06-02T01:25:47ZYazar Italiano, Giuseppe F. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-48057-1">http://dx.doi.org/10.1007/978-3-662-48057-1</a><br/>Format: Electronic Resources<br/>Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedingsent://SD_ILS/0/SD_ILS:229822024-06-02T01:25:47Z2024-06-02T01:25:47ZYazar Hinze, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19797-5">http://dx.doi.org/10.1007/978-3-319-19797-5</a><br/>Format: Electronic Resources<br/>Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part Ient://SD_ILS/0/SD_ILS:245152024-06-02T01:25:47Z2024-06-02T01:25:47ZYazar Csuhaj-Varjú, Erzsébet. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44522-8">http://dx.doi.org/10.1007/978-3-662-44522-8</a><br/>Format: Electronic Resources<br/>Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:221392024-06-02T01:25:47Z2024-06-02T01:25:47ZYazar Aranda-Corral, Gonzalo A. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-13770-4">http://dx.doi.org/10.1007/978-3-319-13770-4</a><br/>Format: Electronic Resources<br/>Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part IIent://SD_ILS/0/SD_ILS:245042024-06-02T01:25:47Z2024-06-02T01:25:47ZYazar Csuhaj-Varjú, Erzsébet. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44465-8">http://dx.doi.org/10.1007/978-3-662-44465-8</a><br/>Format: Electronic Resources<br/>Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211762024-06-02T01:25:47Z2024-06-02T01:25:47ZYazar Watt, Stephen M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08434-3">http://dx.doi.org/10.1007/978-3-319-08434-3</a><br/>Format: Electronic Resources<br/>