1. 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) ↗
2. Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018) Editors: Avigad, Jeremy; Mahboubi, Assia Other Names: ITP (Conference), 9th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xvii, 642 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗