1. 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) ↗
2. Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers /: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers. (2015) Editors: Botana, Francisco; Quaresma, Pedro Other Names: International Workshop on Automated Deduction in Geometry, 10th Record Type: Book Extent: 1 online resource (ix, 181 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. (2015) Editors: Finkbeiner, Bernd; Pu, G (Geguang); Zhang, Lijun, 1979- Other Names: ATVA (Symposium), 13th Record Type: Book Extent: 1 online resource (xiii, 520 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. (2015) Editors: Urban, Christian; Zhang, Xingyuan Other Names: ITP (Conference), 6th Record Type: Book Extent: 1 online resource (xi, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗