Search Results for Gallagher, John P.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dGallagher$00252C$002bJohn$002bP.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?dt=list2024-11-20T03:03:09ZFunctional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4011102024-11-20T03:03:09Z2024-11-20T03:03:09ZAuthor Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:5208642024-11-20T03:03:09Z2024-11-20T03:03:09ZAuthor Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520864.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31476-6">https://doi.org/10.1007/978-3-031-31476-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papersent://SD_ILS/0/SD_ILS:3996112024-11-20T03:03:09Z2024-11-20T03:03:09ZAuthor Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94460-9">https://doi.org/10.1007/978-3-319-94460-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>