Search Results for Logic. - Narrowed by: SpringerLink (Online service) - E-Book - English - Computer science&mdash;Mathematics. - Data structures (Computer science). - Mathematical logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience$0025E2$002580$002594Mathematics.$002509Computer$002bscience$0025E2$002580$002594Mathematics.$0026qf$003dSUBJECT$002509Subject$002509Data$002bstructures$002b$002528Computer$002bscience$002529.$002509Data$002bstructures$002b$002528Computer$002bscience$002529.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-08-31T13:33:06Z Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482979 2024-08-31T13:33:06Z 2024-08-31T13:33:06Z Author&#160;Khan, Md. Aquil. editor.&#160;Manuel, Amaldev. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13&ndash;16, 2019, Proceedings ent://SD_ILS/0/SD_ILS:484478 2024-08-31T13:33:06Z 2024-08-31T13:33:06Z Author&#160;Gopal, T.V. editor.&#160;Watada, Junzo. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14812-6">https://doi.org/10.1007/978-3-030-14812-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings ent://SD_ILS/0/SD_ILS:485515 2024-08-31T13:33:06Z 2024-08-31T13:33:06Z Author&#160;Gopal, T V. editor.&#160;Agrawal, Manindra. editor.&#160;Li, Angsheng. editor.&#160;Cooper, S. Barry. 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-06089-7">https://doi.org/10.1007/978-3-319-06089-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings ent://SD_ILS/0/SD_ILS:487471 2024-08-31T13:33:06Z 2024-08-31T13:33:06Z Author&#160;Giese, Holger. editor.&#160;K&ouml;nig, Barbara. 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-09108-2">https://doi.org/10.1007/978-3-319-09108-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>