Search Results for Computer science. - Narrowed by: Rudolph, Sebastian. editor. - English - Mathematical Logic and Formal Languages. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dAUTHOR$002509Author$002509Rudolph$00252C$002bSebastian.$002beditor.$002509Rudolph$00252C$002bSebastian.$002beditor.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-10T12:29:41Z Artificial General Intelligence 6th International Conference, AGI 2013, Beijing, China, July 31 &ndash; August 3, 2013 Proceedings ent://SD_ILS/0/SD_ILS:334814 2024-09-10T12:29:41Z 2024-09-10T12:29:41Z Author&#160;K&uuml;hnberger, Kai-Uwe. editor.&#160;Rudolph, Sebastian. editor.&#160;Wang, Pei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334814.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39521-5">http://dx.doi.org/10.1007/978-3-642-39521-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 &ndash; August 2, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334848 2024-09-10T12:29:41Z 2024-09-10T12:29:41Z Author&#160;Rudolph, Sebastian. editor.&#160;Gottlob, Georg. editor.&#160;Horrocks, Ian. editor.&#160;Harmelen, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334848.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39784-4">http://dx.doi.org/10.1007/978-3-642-39784-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>