Search Results for - Narrowed by: Mathematical Logic and Formal Languages. - Translators (Computer programs). SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026qf$003dSUBJECT$002509Subject$002509Translators$002b$002528Computer$002bprograms$002529.$002509Translators$002b$002528Computer$002bprograms$002529.$0026ps$003d300$0026isd$003dtrue? 2024-06-19T04:33:56Z Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503327 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Gelbukh, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78135-6">http://dx.doi.org/10.1007/978-3-540-78135-6</a><br/>Format:&#160;Electronic Resources<br/> Advances in Natural Language Processing 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings ent://SD_ILS/0/SD_ILS:503616 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Nordstr&ouml;m, Bengt. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85287-2">http://dx.doi.org/10.1007/978-3-540-85287-2</a><br/>Format:&#160;Electronic Resources<br/> Innovations for Requirement Analysis. From Stakeholders&rsquo; Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers ent://SD_ILS/0/SD_ILS:503835 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Paech, Barbara. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89778-1">http://dx.doi.org/10.1007/978-3-540-89778-1</a><br/>Format:&#160;Electronic Resources<br/> Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503742 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Zaverucha, Gerson. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-88190-2">http://dx.doi.org/10.1007/978-3-540-88190-2</a><br/>Format:&#160;Electronic Resources<br/> Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings ent://SD_ILS/0/SD_ILS:503673 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Teixeira, Ant&oacute;nio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85980-2">http://dx.doi.org/10.1007/978-3-540-85980-2</a><br/>Format:&#160;Electronic Resources<br/> KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503658 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Dengel, Andreas R. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-85845-4">http://dx.doi.org/10.1007/978-3-540-85845-4</a><br/>Format:&#160;Electronic Resources<br/> Mathematical Linguistics ent://SD_ILS/0/SD_ILS:502449 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Kornai, Andr&aacute;s. author.<br/><a href="http://dx.doi.org/10.1007/978-1-84628-986-6">http://dx.doi.org/10.1007/978-1-84628-986-6</a><br/>Format:&#160;Electronic Resources<br/> Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday ent://SD_ILS/0/SD_ILS:512946 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Aguzzoli, Stefano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75939-3">http://dx.doi.org/10.1007/978-3-540-75939-3</a><br/>Format:&#160;Electronic Resources<br/> KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabr&uuml;ck, Germany, September 10-13, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512806 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Hertzberg, Joachim. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74565-5">http://dx.doi.org/10.1007/978-3-540-74565-5</a><br/>Format:&#160;Electronic Resources<br/> Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512249 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Gelbukh, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70939-8">http://dx.doi.org/10.1007/978-3-540-70939-8</a><br/>Format:&#160;Electronic Resources<br/> Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers ent://SD_ILS/0/SD_ILS:512337 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Branco, Ant&oacute;nio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71412-5">http://dx.doi.org/10.1007/978-3-540-71412-5</a><br/>Format:&#160;Electronic Resources<br/> Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers ent://SD_ILS/0/SD_ILS:512876 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Cate, Balder D. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75144-1">http://dx.doi.org/10.1007/978-3-540-75144-1</a><br/>Format:&#160;Electronic Resources<br/> Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511042 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Vieira, Renata. editor.<br/><a href="http://dx.doi.org/10.1007/11751984">http://dx.doi.org/10.1007/11751984</a><br/>Format:&#160;Electronic Resources<br/> Chinese Spoken Language Processing 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511986 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Huo, Qiang. editor.<br/><a href="http://dx.doi.org/10.1007/11939993">http://dx.doi.org/10.1007/11939993</a><br/>Format:&#160;Electronic Resources<br/> Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511987 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Matsumoto, Yuji. editor.<br/><a href="http://dx.doi.org/10.1007/11940098">http://dx.doi.org/10.1007/11940098</a><br/>Format:&#160;Electronic Resources<br/> Advances in Natural Language Processing 5th International Conference on NLP, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings ent://SD_ILS/0/SD_ILS:511486 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Salakoski, Tapio. editor.<br/><a href="http://dx.doi.org/10.1007/11816508">http://dx.doi.org/10.1007/11816508</a><br/>Format:&#160;Electronic Resources<br/> Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeir&atilde;o Preto, Brazil, October 23-27, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511723 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Sichman, Jaime Sim&atilde;o. editor.<br/><a href="http://dx.doi.org/10.1007/11874850">http://dx.doi.org/10.1007/11874850</a><br/>Format:&#160;Electronic Resources<br/> Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:511282 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Yli-Jyr&auml;, Anssi. editor.<br/><a href="http://dx.doi.org/10.1007/11780885">http://dx.doi.org/10.1007/11780885</a><br/>Format:&#160;Electronic Resources<br/> Computational Linguistics and Intelligent Text Processing 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006. Proceedings ent://SD_ILS/0/SD_ILS:510502 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Gelbukh, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/11671299">http://dx.doi.org/10.1007/11671299</a><br/>Format:&#160;Electronic Resources<br/> Logical Aspects of Computational Linguistics 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510324 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Blache, Philippe. editor.<br/><a href="http://dx.doi.org/10.1007/b136076">http://dx.doi.org/10.1007/b136076</a><br/>Format:&#160;Electronic Resources<br/> Computational Linguistics and Intelligent Text Processing 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005. Proceedings ent://SD_ILS/0/SD_ILS:509763 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Gelbukh, Alexander. editor.<br/><a href="http://dx.doi.org/10.1007/b105772">http://dx.doi.org/10.1007/b105772</a><br/>Format:&#160;Electronic Resources<br/> Natural Language Processing &ndash; IJCNLP 2004 First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:509682 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Su, Keh-Yih. editor.<br/><a href="http://dx.doi.org/10.1007/b105612">http://dx.doi.org/10.1007/b105612</a><br/>Format:&#160;Electronic Resources<br/> Natural Language Processing &ndash; IJCNLP 2005 Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510153 2024-06-19T04:33:56Z 2024-06-19T04:33:56Z by&#160;Dale, Robert. editor.<br/><a href="http://dx.doi.org/10.1007/11562214">http://dx.doi.org/10.1007/11562214</a><br/>Format:&#160;Electronic Resources<br/>