Pages that link to "Item:Q2461168"
From MaRDI portal
The following pages link to Automated deduction -- CADE-21. 21st international conference on automated deduction, Bremen, Germany, July 17--20, 2007. Proceedings (Q2461168):
Displayed 1 item.