Search

Author/Creator International Conference on Automated Deduction, 25th

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

Limit your search

  • International Conference on Automated Deduction, 25th 1