Search Results for Word games. - Narrowed by: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dWord$002bgames.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300?2024-12-12T04:37:44ZLogic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189492024-12-12T04:37:44Z2024-12-12T04:37:44ZAuthor de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Preferred Shelf Number XX(518949.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47709-0">https://doi.org/10.1007/978-3-662-47709-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction Second International Workshop, MA3HMI 2014, Held in Conjunction with INTERSPEECH 2014, Singapore, Singapore, September 14, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5189632024-12-12T04:37:44Z2024-12-12T04:37:44ZAuthor Böck, Ronald. editor. Bonin, Francesca. editor. Campbell, Nick. editor. Poppe, Ronald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518963.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15557-9">https://doi.org/10.1007/978-3-319-15557-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5190282024-12-12T04:37:44Z2024-12-12T04:37:44ZAuthor Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519028.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21668-3">https://doi.org/10.1007/978-3-319-21668-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>