1. Applied logic for computer scientists : computational deduction and formal proofs /: computational deduction and formal proofs. (2017) Authors: Ayala-Rincón, M (Mauricio); Moura, Flávio L. C. de Record Type: Book Extent: 1 online resource (xviii, 150 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday /: essays dedicated to Franz Baader on the occasion of his 60th birthday. ([2019]) Editors: Lutz, Carsten, 1971- Other Names: Baader, Franz honouree. Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Digital logic for computing. (2017) Authors: Seiffertt, John Record Type: Book Extent: 1 online resource (xvi, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Dynamic logic : new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /: new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. (2018) Editors: Madeira, Alexandre; Benevides, Mário Other Names: International Workshop on Dynamic Logic, 1st Record Type: Book Extent: 1 online resource (ix, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday /: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Blass, Andreas, 1947-; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram Other Names: Gurevich, Yuri honouree.; Yurifest (Symposium), 2nd Record Type: Book Extent: 1 online resource (x, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Fields of logic and computation III : essays dedicated to Yuri Gurevich on the occasion of his 80th birthday /: essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. (2020) Other Names: Blass, Andreas, 1947-; Cégielski, Patrick, 1954-; Dershowitz, Nachum; Droste, Manfred, 1956-; Finkbeiner, Bernd Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Hybrid systems biology : 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019 : revised selected papers /: 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019 : revised selected papers. ([2019]) Editors: Češka, M (Milan); Paoletti, Nicola Other Names: HSB (Workshop), 6th Record Type: Book Extent: 1 online resource (xvi, 181 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /: 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings. (2019) Editors: Martín Vide, Carlos; Okhotin, Alexander; Shapira, Dana Other Names: LATA (Conference), 13th Record Type: Book Extent: 1 online resource (xvii, 470 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. 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) ↗
10. 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) ↗