1. Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings /: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings. (2017) Editors: Moura, Leonardo de Other Names: International Conference on Automated Deduction, 26th Record Type: Book Extent: 1 online resource (xi, 582 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Automated deduction -- CADE 27 : 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings /: 27th international conference on automated deduction, Natal, Brazil, August 27-30, 2019 : proceedings. ([2019]) Editors: (Professor of Computer Science), Fontaine, Pascal Other Names: International Conference on Automated Deduction, 27th Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings. ([2015]) Editors: Felty, Amy; Middeldorp, Aart, 1963- Other Names: International Conference on Automated Deduction, 25th Record Type: Book Extent: 1 online resource (xxviii, 640 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I (2020) Other Names: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th Record Type: Book Extent: 1 online resource (553 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II (2020) Other Names: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th Record Type: Book Extent: 1 online resource (521 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings /: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings. (2016) Editors: Olivetti, Nicola; Tiwari, Ashish, 1973- Other Names: IJCAR (Conference), 8th Record Type: Book Extent: 1 online resource (xx, 580 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings /: 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings. (2018) Editors: Galmiche, Didier, 1958-; Schulz, Stephan; Sebastiani, R (Roberto) Other Names: IJCAR (Conference), 9th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xvi, 724 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings /: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. (2017) Editors: Schmidt, Renate A; Nalon, Cláudia Other Names: TABLEAUX (Conference), 26th Record Type: Book Extent: 1 online resource (xii, 381 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings /: 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings. ([2019]) Editors: Cerrito, Serenella; Popescu, Andrei Other Names: TABLEAUX (Conference), 28th Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings /: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings. (2016) Editors: Blanchette, Jasmin; Merz, Stephan Other Names: ITP (Conference), 7th Record Type: Book Extent: 1 online resource (xvii, 502 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗