Search Results for Logic programming languages. - Narrowed by: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bprogramming$002blanguages.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300?2025-12-12T06:53:18ZProceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1ent://SD_ILS/0/SD_ILS:5292012025-12-12T06:53:18Z2025-12-12T06:53:18ZAuthor Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2217-0">https://doi.org/10.1007/978-81-322-2217-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>LogiQL : a query language for smart databasesent://SD_ILS/0/SD_ILS:5441392025-12-12T06:53:18Z2025-12-12T06:53:18ZAuthor Halpin, T. A., author. Rugaber, Spencer, author.<br/>Preferred Shelf Number QA76.73 .L62 H35 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482244946">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:5188612025-12-12T06:53:18Z2025-12-12T06:53:18ZAuthor Falaschi, Moreno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27436-2">https://doi.org/10.1007/978-3-319-27436-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5192932025-12-12T06:53:18Z2025-12-12T06:53:18ZAuthor Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23264-5">https://doi.org/10.1007/978-3-319-23264-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5188782025-12-12T06:53:18Z2025-12-12T06:53:18ZAuthor Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:5191392025-12-12T06:53:18Z2025-12-12T06:53:18ZAuthor Codescu, Mihai. editor. Diaconescu, Răzvan. editor. Țuțu, Ionuț. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28114-8">https://doi.org/10.1007/978-3-319-28114-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612025-12-12T06:53:18Z2025-12-12T06:53:18ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189802025-12-12T06:53:18Z2025-12-12T06:53:18ZAuthor Holvoet, Tom. editor. Viroli, Mirko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19282-6">https://doi.org/10.1007/978-3-319-19282-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>