Search Results for - Narrowed by: Artificial intelligence. - Voronkov, Andrei. editor.
SirsiDynix Enterprise
https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dAUTHOR$002509Author$002509Voronkov$00252C$002bAndrei.$002beditor.$002509Voronkov$00252C$002bAndrei.$002beditor.$0026ps$003d300?
2024-05-23T18:19:18Z
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:503812
2024-05-23T18:19:18Z
2024-05-23T18:19:18Z
by Cervesato, Iliano. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-89439-1">http://dx.doi.org/10.1007/978-3-540-89439-1</a><br/>Format: Electronic Resources<br/>
Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:502819
2024-05-23T18:19:18Z
2024-05-23T18:19:18Z
by Voronkov, Andrei. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70590-1">http://dx.doi.org/10.1007/978-3-540-70590-1</a><br/>Format: Electronic Resources<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:512924
2024-05-23T18:19:18Z
2024-05-23T18:19:18Z
by Dershowitz, Nachum. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75560-9">http://dx.doi.org/10.1007/978-3-540-75560-9</a><br/>Format: Electronic Resources<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:511879
2024-05-23T18:19:18Z
2024-05-23T18:19:18Z
by Hermann, Miki. editor.<br/><a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Electronic Resources<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:510106
2024-05-23T18:19:18Z
2024-05-23T18:19:18Z
by Sutcliffe, Geoff. editor.<br/><a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:510551
2024-05-23T18:19:18Z
2024-05-23T18:19:18Z
by Baader, Franz. editor.<br/><a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>