Search Results for - Narrowed by: Springer E-Book Collection - Mathematical logic. - Math Applications in Computer Science. SirsiDynix Enterprise https://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:47Z Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428042 2024-06-02T01:25:47Z 2024-06-02T01:25:47Z Yazar&#160;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:&#160;Electronic Resources<br/> Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428640 2024-06-02T01:25:47Z 2024-06-02T01:25:47Z Yazar&#160;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:&#160;Electronic Resources<br/> Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:429095 2024-06-02T01:25:47Z 2024-06-02T01:25:47Z Yazar&#160;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:&#160;Electronic Resources<br/> Directed Algebraic Topology and Concurrency ent://SD_ILS/0/SD_ILS:16525 2024-06-02T01:25:47Z 2024-06-02T01:25:47Z Yazar&#160;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:&#160;Electronic Resources<br/> Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. ent://SD_ILS/0/SD_ILS:23063 2024-06-02T01:25:47Z 2024-06-02T01:25:47Z Yazar&#160;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:&#160;Electronic Resources<br/> Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:24854 2024-06-02T01:25:47Z 2024-06-02T01:25:47Z Yazar&#160;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:&#160;Electronic Resources<br/> Mathematics of Program Construction 12th International Conference, MPC 2015, K&ouml;nigswinter, Germany, June 29--July 1, 2015. Proceedings ent://SD_ILS/0/SD_ILS:22982 2024-06-02T01:25:47Z 2024-06-02T01:25:47Z Yazar&#160;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:&#160;Electronic Resources<br/> Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I ent://SD_ILS/0/SD_ILS:24515 2024-06-02T01:25:47Z 2024-06-02T01:25:47Z Yazar&#160;Csuhaj-Varj&uacute;, Erzs&eacute;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:&#160;Electronic Resources<br/> Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:22139 2024-06-02T01:25:47Z 2024-06-02T01:25:47Z Yazar&#160;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:&#160;Electronic Resources<br/> Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II ent://SD_ILS/0/SD_ILS:24504 2024-06-02T01:25:47Z 2024-06-02T01:25:47Z Yazar&#160;Csuhaj-Varj&uacute;, Erzs&eacute;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:&#160;Electronic Resources<br/> Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21176 2024-06-02T01:25:47Z 2024-06-02T01:25:47Z Yazar&#160;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:&#160;Electronic Resources<br/>