1. Functional and logic programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings /: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016. Proceedings. (2016) Editors: Kiselyov, Oleg; King, Andrew Malcolm Other Names: Fuji International Symposium on Functional and Logic Programming, 13th Record Type: Book Extent: 1 online resource (xii, 253 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Inductive logic programming : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers. (2016) Editors: Inoue, Katsumi; Ohwada, Hayato; Yamamoto, Akihiro, 1960- Other Names: ILP (Conference), 25th Record Type: Book Extent: 1 online resource (x, 215 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Reversible logic synthesis methodologies with application to quantum computing. (2016) Authors: Ridha Taha, Saleem Mohammed Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Web reasoning and rule systems : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings /: 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings. (2016) Editors: Ortiz, Magdalena; Schlobach, Stefan Other Names: RR (Conference), 10th Record Type: Book Extent: 1 online resource (xii, 195 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗