Search Results for Logic. - Narrowed by: Hinchey, Mike. editor. - Artificial intelligence. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dAUTHOR$002509Author$002509Hinchey$00252C$002bMike.$002beditor.$002509Hinchey$00252C$002bMike.$002beditor.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-05T23:25:47Z Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197437 2024-09-05T23:25:47Z 2024-09-05T23:25:47Z Author&#160;Eleftherakis, George. editor.&#160;Hinchey, Mike. editor.&#160;Holcombe, Mike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192904 2024-09-05T23:25:47Z 2024-09-05T23:25:47Z Author&#160;Hinchey, Mike. editor.&#160;Kleinjohann, Bernd. editor.&#160;Kleinjohann, Lisa. editor.&#160;Lindsay, Peter A. editor.&#160;Rammig, Franz J. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-15234-4">http://dx.doi.org/10.1007/978-3-642-15234-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>