Search Results for Language and logic. - Narrowed by: Computer networks .
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLanguage$002band$002blogic.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bnetworks$0025C2$0025A0.$002509Computer$002bnetworks$0025C2$0025A0.$0026ps$003d300?
2026-06-17T08:31:35Z
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:607681
2026-06-17T08:31:35Z
2026-06-17T08:31:35Z
Author Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84924-4">https://doi.org/10.1007/978-3-031-84924-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603913
2026-06-17T08:31:35Z
2026-06-17T08:31:35Z
Author Alonso-Betanzos, Amparo. editor. (orcid)0000-0003-0950-0012 Guijarro-Berdiñas, Bertha. editor. (orcid)0000-0001-8901-5441 Bolón-Canedo, Verónica. editor. (orcid)0000-0002-0524-6427 Hernández-Pereira, Elena. editor. (orcid)0000-0001-8666-4075 Fontenla-Romero, Oscar. editor. (orcid)0000-0003-4203-8720<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62799-6">https://doi.org/10.1007/978-3-031-62799-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:602942
2026-06-17T08:31:35Z
2026-06-17T08:31:35Z
Author Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55630-2">https://doi.org/10.1007/978-3-031-55630-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Management and Big Data Second Annual International Symposium, SIMBig 2015, Cusco, Peru, September 2-4, 2015, and Third Annual International Symposium, SIMBig 2016, Cusco, Peru, September 1-3, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614458
2026-06-17T08:31:35Z
2026-06-17T08:31:35Z
Author Lossio-Ventura, Juan Antonio. editor. Alatrista-Salas, Hugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55209-5">https://doi.org/10.1007/978-3-319-55209-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615917
2026-06-17T08:31:35Z
2026-06-17T08:31:35Z
Author Pichardo-Lagunas, Obdulia. editor. Miranda-Jiménez, Sabino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62428-0">https://doi.org/10.1007/978-3-319-62428-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-06-17T08:31:35Z
2026-06-17T08:31:35Z
Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:615986
2026-06-17T08:31:35Z
2026-06-17T08:31:35Z
Author Sidorov, Grigori. editor. Herrera-Alcántara, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62434-1">https://doi.org/10.1007/978-3-319-62434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ARM Assembly Language with Hardware Experiments
ent://SD_ILS/0/SD_ILS:529279
2026-06-17T08:31:35Z
2026-06-17T08:31:35Z
Author Elahi, Ata. author. Arjeski, Trevor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11704-1">https://doi.org/10.1007/978-3-319-11704-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>