Search Results for Art, Abstract. - Narrowed by: SpringerLink (Online service) SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArt$00252C$002bAbstract.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300?dt=list 2025-03-27T03:12:18Z Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521244 2025-03-27T03:12:18Z 2025-03-27T03:12:18Z Author&#160;Fensel, Anna. editor.&#160;Ozaki, Ana. editor.&#160;Roman, Dumitru. editor.&#160;Soylu, Ahmet. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-45072-3">https://doi.org/10.1007/978-3-031-45072-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:519078 2025-03-27T03:12:18Z 2025-03-27T03:12:18Z Author&#160;Canal, Carlos. editor.&#160;Idani, Akram. 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-15201-1">https://doi.org/10.1007/978-3-319-15201-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>