Pages that link to "Item:Q2516644"
From MaRDI portal
The following pages link to Automated deduction -- CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1--7, 2015. Proceedings (Q2516644):
Displaying 1 item.