1. Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings /: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. (2018) Editors: Gallagher, John P; Sulzmann, Martin Other Names: Fuji International Symposium on Functional and Logic Programming, 14th Record Type: Book Extent: 1 online resource (XVI, 281 pages), 74 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Inductive logic programming : 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised selected papers /: 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised selected papers. (2018) Editors: Lachiche, Nicolas; Vrain, Christel Other Names: ILP (Conference), 27th Record Type: Book Extent: 1 online resource (x, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Logic-based program synthesis and transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers /: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers. (2018) Editors: Fioravanti, Fabio; Gallagher, John P Other Names: LOPSTR (Symposium), 27th Record Type: Book Extent: 1 online resource (xvi, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗