Search Results for Languages, Artificial. - Narrowed by: Electronic Library SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLanguages$00252C$002bArtificial.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-24T00:35:37Z Deep Learning Theory and Applications 4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520436 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Conte, Donatello. editor.&#160;Fred, Ana. editor.&#160;Gusikhin, Oleg. editor.&#160;Sansone, Carlo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520436.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-39059-3">https://doi.org/10.1007/978-3-031-39059-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520784 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Aydo&#287;an, Reyhan. editor.&#160;Criado, Natalia. editor.&#160;Lang, J&eacute;r&ocirc;me. editor.&#160;Sanchez-Anguix, Victor. editor.&#160;Serramia, Marc. editor.<br/>Preferred Shelf Number&#160;XX(520784.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-21203-1">https://doi.org/10.1007/978-3-031-21203-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Research 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520739 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Pillay, Anban. editor.&#160;Jembere, Edgar. editor.&#160;J. Gerber, Aurona. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520739.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49002-6">https://doi.org/10.1007/978-3-031-49002-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521187 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Frasson, Claude. editor.&#160;Mylonas, Phivos. editor.&#160;Troussas, Christos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521187.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-32883-1">https://doi.org/10.1007/978-3-031-32883-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Big Data and Artificial Intelligence 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521361 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Goyal, Vikram. editor.&#160;Kumar, Naveen. editor.&#160;Bhowmick, Sourav S. editor.&#160;Goyal, Pawan. editor.&#160;Goyal, Navneet. editor.<br/>Preferred Shelf Number&#160;XX(521361.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-49601-1">https://doi.org/10.1007/978-3-031-49601-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Artificial Intelligence ent://SD_ILS/0/SD_ILS:521892 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Klontzas, Michail E. editor.&#160;Fanni, Salvatore Claudio. editor.&#160;Neri, Emanuele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(521892.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-25928-9">https://doi.org/10.1007/978-3-031-25928-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Turkish Natural Language Processing ent://SD_ILS/0/SD_ILS:399399 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Oflazer, Kemal. editor.&#160;Sara&ccedil;lar, Murat. 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-90165-7">https://doi.org/10.1007/978-3-319-90165-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language Production, Cognition, and the Lexicon ent://SD_ILS/0/SD_ILS:518530 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Gala, N&uacute;ria. editor.&#160;Rapp, Reinhard. editor.&#160;Bel-Enguix, Gemma. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518530.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08043-7">https://doi.org/10.1007/978-3-319-08043-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518878 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Bieger, Jordi. editor.&#160;Goertzel, Ben. editor.&#160;Potapov, Alexey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518878.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334724 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;J&auml;rvisalo, Matti. editor.&#160;Van Gelder, Allen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334724.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Unconventional Computation and Natural Computation 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334725 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Mauri, Giancarlo. editor.&#160;Dennunzio, Alberto. editor.&#160;Manzoni, Luca. editor.&#160;Porreca, Antonio E. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334725.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39074-6">http://dx.doi.org/10.1007/978-3-642-39074-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334875 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Libkin, Leonid. editor.&#160;Kohlenbach, Ulrich. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334875.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39992-3">http://dx.doi.org/10.1007/978-3-642-39992-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Paraconsistency: Logic and Applications ent://SD_ILS/0/SD_ILS:335759 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Tanaka, Koji. editor.&#160;Berto, Francesco. editor.&#160;Mares, Edwin. editor.&#160;Paoli, Francesco. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335759.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-94-007-4438-7">http://dx.doi.org/10.1007/978-94-007-4438-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Logics Essays in Memory of Harald Ganzinger ent://SD_ILS/0/SD_ILS:334468 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Voronkov, Andrei. editor.&#160;Weidenbach, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334468.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334673 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Riguzzi, Fabrizio. editor.&#160;&#381;elezn&yacute;, Filip. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334673.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38812-5">http://dx.doi.org/10.1007/978-3-642-38812-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334552 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Albert, Elvira. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334552.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38197-3">http://dx.doi.org/10.1007/978-3-642-38197-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings ent://SD_ILS/0/SD_ILS:334973 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Karhum&auml;ki, Juhani. editor.&#160;Lepist&ouml;, Arto. editor.&#160;Zamboni, Luca. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334973.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reactive Kripke Semantics ent://SD_ILS/0/SD_ILS:335100 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Gabbay, Dov M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335100.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41389-6">http://dx.doi.org/10.1007/978-3-642-41389-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332934 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Erwig, Martin. editor.&#160;Paige, Richard F. editor.&#160;Wyk, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332934.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02654-1">http://dx.doi.org/10.1007/978-3-319-02654-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Essential Speech and Language Technology for Dutch Results by the STEVIN-programme ent://SD_ILS/0/SD_ILS:333372 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Spyns, Peter. editor.&#160;Odijk, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333372.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30910-6">http://dx.doi.org/10.1007/978-3-642-30910-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Natural Language and Speech Tools for Italian International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334059 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Magnini, Bernardo. editor.&#160;Cutugno, Francesco. editor.&#160;Falcone, Mauro. editor.&#160;Pianta, Emanuele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334059.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35828-9">http://dx.doi.org/10.1007/978-3-642-35828-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334825 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Blazy, Sandrine. editor.&#160;Paulin-Mohring, Christine. editor.&#160;Pichardie, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334825.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Language Engineering 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334120 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Czarnecki, Krzysztof. editor.&#160;Hedin, G&ouml;rel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36089-3">http://dx.doi.org/10.1007/978-3-642-36089-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Intelligent systems for engineers and scientists ent://SD_ILS/0/SD_ILS:291599 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Hopgood, Adrian A.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439865965">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and theory of computation handbook. Special topics and techniques ent://SD_ILS/0/SD_ILS:291679 2024-12-24T00:35:37Z 2024-12-24T00:35:37Z Author&#160;Atallah, Mikhail J.&#160;Blanton, Marina.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781584888215">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>