Search Results for Voronkov, Andrei. - Narrowed by: English - 2005 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dVoronkov$00252C$002bAndrei.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-08-26T03:14:32Z 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:182801 2024-08-26T03:14:32Z 2024-08-26T03:14:32Z Author&#160;Sutcliffe, Geoff. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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:183262 2024-08-26T03:14:32Z 2024-08-26T03:14:32Z Author&#160;Baader, Franz. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>