Author/Creator: International Conference on Automated Deduction, 26th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator International Conference on Automated Deduction, 26th

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) ↗