11. Logic programming and nonmonotonic reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. (2015) Editors: Calimeri, Francesco; Ianni, Giovambattista; Truszczyński, Mirosław Other Names: LPNMR (Conference), 13th Record Type: Book Extent: 1 online resource (xiv, 574 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
12. Logic programming and nonmonotonic reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings. (2017) Editors: Balduccini, Marcello; Janhunen, Tomi Other Names: LPNMR (Conference), 14th Record Type: Book Extent: 1 online resource (xiii, 359 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
13. Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers /: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers. (2015) Editors: Proietti, Maurizio, 1959-; Seki, Hirohisa Other Names: LOPSTR (Symposium), 24th Record Type: Book Extent: 1 online resource (xii, 333 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
14. Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers /: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers. (2015) Editors: Falaschi, Moreno Other Names: LOPSTR (Symposium), 25th Record Type: Book Extent: 1 online resource (xvii, 385 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
15. Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers. (2017) Editors: Hermenegildo, Manuel; Lopez-Garcia, Pedro Other Names: LOPSTR (Symposium), 26th Record Type: Book Extent: 1 online resource (xvi, 361 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
16. 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) ↗
17. Mathematical aspects of logic programming semantics. (©2011) Other Names: Hitzler, Pascal; Seda, Anthony Record Type: Book Extent: 1 online resource (xxx, 274 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
18. Paraconsistent intelligent-based systems : new trends in the applications of paraconsistency /: new trends in the applications of paraconsistency. ([2015]) Editors: Abe, Jair Minoro Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
19. 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) ↗
20. Time & logic : a computational approach /: a computational approach. (2019) Editors: Bolc, Leonard, 1934-; Szałas, Andrzej, 1958- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗