Search Results for Language Processing. - Narrowed by: Mathematical logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLanguage$002bProcessing.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-22T13:58:10Z Natural Language Processing and Chinese Computing 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9&ndash;14, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:485610 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Tang, Jie. editor.&#160;Kan, Min-Yen. editor.&#160;Zhao, Dongyan. editor.&#160;Li, Sujian. editor.&#160;Zan, Hongying. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32236-6">https://doi.org/10.1007/978-3-030-32236-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Natural Language Processing 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings ent://SD_ILS/0/SD_ILS:488994 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Przepi&oacute;rkowski, Adam. editor.&#160;Ogrodniczuk, Maciej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10888-9">https://doi.org/10.1007/978-3-319-10888-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485507 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Baptista, Jorge. editor.&#160;Mamede, Nuno. editor.&#160;Candeias, Sara. editor.&#160;Paraboni, Ivandr&eacute;. editor.&#160;Pardo, Thiago A.S. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-09761-9">https://doi.org/10.1007/978-3-319-09761-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Connectives in Logic and Language 4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608062 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Yan, Jialiang. editor. (orcid)0009-0005-2163-2300&#160;Liu, Mingming. editor.&#160;Westerst&aring;hl, Dag. editor. (orcid)0000-0002-9925-3811&#160;Yang, Xiaolu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-86054-6">https://doi.org/10.1007/978-3-031-86054-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607767 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Baratgin, Jean. editor. (orcid)0000-0001-9566-486X&#160;Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789&#160;Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X&#160;Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84595-6">https://doi.org/10.1007/978-3-031-84595-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605043 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842&#160;Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71379-8">https://doi.org/10.1007/978-3-031-71379-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602881 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Baratgin, Jean. editor. (orcid)0000-0001-9566-486X&#160;Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789&#160;Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-55245-8">https://doi.org/10.1007/978-3-031-55245-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2019 Conferences Confederated International Conferences: CoopIS, ODBASE, C&amp;TC 2019, Rhodes, Greece, October 21&ndash;25, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483434 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor. (orcid)0000-0003-4734-3847&#160;Hepp, Martin. editor.&#160;Lewis, Dave. editor.&#160;Ardagna, Claudio Agostino. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33246-4">https://doi.org/10.1007/978-3-030-33246-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I ent://SD_ILS/0/SD_ILS:485008 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Rojas, Ignacio. editor.&#160;Valenzuela, Olga. editor.&#160;Rojas, Fernando. editor.&#160;Ortu&ntilde;o, Francisco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17938-0">https://doi.org/10.1007/978-3-030-17938-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics Research and Applications 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485016 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Cai, Zhipeng. editor.&#160;Skums, Pavel. editor.&#160;Li, Min. editor. (orcid)0000-0002-0188-1394&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20242-2">https://doi.org/10.1007/978-3-030-20242-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bioinformatics and Biomedical Engineering 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:485649 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Rojas, Ignacio. editor.&#160;Valenzuela, Olga. editor.&#160;Rojas, Fernando. editor.&#160;Ortu&ntilde;o, Francisco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17935-9">https://doi.org/10.1007/978-3-030-17935-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486559 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Hutton, Graham. editor. (orcid)0000-0001-9584-5150&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> The Semantic Web 16th International Conference, ESWC 2019, Portoro&#382;, Slovenia, June 2&ndash;6, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482677 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Hitzler, Pascal. editor. (orcid)0000-0001-6192-3472&#160;Fern&aacute;ndez, Miriam. editor. (orcid)0000-0001-5939-4321&#160;Janowicz, Krzysztof. editor.&#160;Zaveri, Amrapali. editor.&#160;Gray, Alasdair J.G. editor. (orcid)0000-0002-5711-4872<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-21348-0">https://doi.org/10.1007/978-3-030-21348-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28&ndash;31, 2019, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486610 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634&#160;Fallucchi, Francesca. editor. (orcid)0000-0002-3288-044X&#160;William De Luca, Ernesto. editor. (orcid)0000-0003-3621-4118&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-36599-8">https://doi.org/10.1007/978-3-030-36599-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> At the Intersection of Language, Logic, and Information ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6&ndash;17, 2018, Selected Papers ent://SD_ILS/0/SD_ILS:486727 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Sikos, Jennifer. editor.&#160;Pacuit, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-59620-3">https://doi.org/10.1007/978-3-662-59620-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Discovery, Knowledge Engineering and Knowledge Management 9th International Joint Conference, IC3K 2017, Funchal, Madeira, Portugal, November 1-3, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486755 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Fred, Ana. editor.&#160;Aveiro, David. editor. (orcid)0000-0001-6453-3648&#160;Dietz, Jan L. G. editor.&#160;Liu, Kecheng. editor.&#160;Bernardino, Jorge. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-15640-4">https://doi.org/10.1007/978-3-030-15640-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5&ndash;9, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486429 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Hofman, Piotrek. editor.&#160;Skrzypczak, Micha&#322;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-24886-4">https://doi.org/10.1007/978-3-030-24886-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Controlled Natural Language 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489520 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Davis, Brian. editor.&#160;Kaljurand, Kaarel. editor.&#160;Kuhn, Tobias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-10223-8">https://doi.org/10.1007/978-3-319-10223-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489043 2026-03-22T13:58:10Z 2026-03-22T13:58:10Z Author&#160;Asher, Nicholas. editor.&#160;Soloviev, Sergei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43742-1">https://doi.org/10.1007/978-3-662-43742-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>