Arama Sonu&ccedil;lar&#305; Voronkov, Andrei. - Daralt&#305;lm&#305;&#351;: 2007 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dVoronkov$00252C$002bAndrei.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092007$0025092007$0026ic$003dtrue$0026ps$003d300? 2024-11-09T01:55:25Z Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers ent://SD_ILS/0/SD_ILS:186085 2024-11-09T01:55:25Z 2024-11-09T01:55:25Z Yazar&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-70881-0">http://dx.doi.org/10.1007/978-3-540-70881-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<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:187449 2024-11-09T01:55:25Z 2024-11-09T01:55:25Z Yazar&#160;Dershowitz, Nachum. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<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:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer Science &ndash; Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187182 2024-11-09T01:55:25Z 2024-11-09T01:55:25Z Yazar&#160;Diekert, Volker. editor.&#160;Volkov, Mikhail V. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-74510-5">http://dx.doi.org/10.1007/978-3-540-74510-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>