Search Results for Kiselyov, Oleg. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dKiselyov$00252C$002bOleg.$0026ps$003d300?dt=list 2026-06-01T21:41:46Z Programming Languages and Systems 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605775 2026-06-01T21:41:46Z 2026-06-01T21:41:46Z Author&#160;Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-8943-6">https://doi.org/10.1007/978-981-97-8943-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616647 2026-06-01T21:41:46Z 2026-06-01T21:41:46Z Author&#160;Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186&#160;King, Andy. 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-29604-3">https://doi.org/10.1007/978-3-319-29604-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The reasoned schemer ent://SD_ILS/0/SD_ILS:220152 2026-06-01T21:41:46Z 2026-06-01T21:41:46Z Author&#160;Friedman, Daniel P.&#160;Byrd, William E.&#160;Kiselyov, Oleg.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267263">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267263</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>