Pages that link to "Item:Q1305166"
From MaRDI portal
The following pages link to Automated deduction -- CADE-11. Proceedings of the 11th international conference held in Saratoga Springs, NY, USA, June 15--18, 1992 (Q1305166):
Displayed 2 items.