41. Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings. ([2015]) Other Names: Davis, Martin; Fehnker, Ansgar editor of compilation.; McIver, Annabelle editor of compilation.; Voronkov, Andrei editor of compilation.; LPAR (Conference), 20th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
42. Logic, language, and computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised selected papers /: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised selected papers. (2015) Editors: Aher, Martin; Hole, Daniel; Jeřábek, Emil; Kupke, C (Clemens) Other Names: International Tbilisi Symposium on Logic, Language and Computation, 10th Record Type: Book Extent: 1 online resource (xiv, 333 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
43. Logic, language, and computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised selected papers /: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised selected papers. (2017) Editors: Hansen, Helle Hvid; Murray, Sarah E; Sadrzadeh, Mehrnoosh; Zeevat, Henk, 1952- Other Names: International Tbilisi Symposium on Logic, Language, and Computation, 11th Record Type: Book Extent: 1 online resource (xxviii, 355 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
44. Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday /: essays dedicated to José Meseguer on the occasion of his 65th birthday. ([2015]) Editors: Martí-Oliet, N (Narciso); Ölveczky, Peter Csaba; Talcott, Carolyn L Other Names: Meseguer, José honouree. Record Type: Book Extent: 1 online resource (xi, 634 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
45. 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) ↗
46. 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) ↗
47. 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) ↗
48. 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) ↗
49. Logical foundations of computer science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings. ([2015]) Other Names: Artemov, S. N; Nerode, Anil, 1932-; LFCS (Symposium) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
50. Logical foundations of computer science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings. (2017) Editors: Artemov, S. N; Nerode, Anil, 1932- Other Names: LFCS (Symposium) Record Type: Book Extent: 1 online resource (369 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗