Search Results for Artificial intelligence algorithms. - Narrowed by: Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArtificial$002bintelligence$002balgorithms.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-03-22T19:14:36Z Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:611801 2026-03-22T19:14:36Z 2026-03-22T19:14:36Z Author&#160;Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor. (orcid)0000-0001-9592-262X&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59060-8">https://doi.org/10.1007/978-3-319-59060-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence and Soft Computing 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612080 2026-03-22T19:14:36Z 2026-03-22T19:14:36Z Author&#160;Rutkowski, Leszek. editor. (orcid)0000-0001-6960-9525&#160;Korytkowski, Marcin. editor.&#160;Scherer, Rafa&#322;. editor. (orcid)0000-0001-9592-262X&#160;Tadeusiewicz, Ryszard. editor.&#160;Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-59063-9">https://doi.org/10.1007/978-3-319-59063-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611615 2026-03-22T19:14:36Z 2026-03-22T19:14:36Z Author&#160;Menzies, Tim. editor.&#160;Petke, Justyna. 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-66299-2">https://doi.org/10.1007/978-3-319-66299-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194411 2026-03-22T19:14:36Z 2026-03-22T19:14:36Z Author&#160;Alpuente, Mar&iacute;a. 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-20551-4">http://dx.doi.org/10.1007/978-3-642-20551-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:189717 2026-03-22T19:14:36Z 2026-03-22T19:14:36Z Author&#160;Hanus, Michael. 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-00515-2">http://dx.doi.org/10.1007/978-3-642-00515-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>