Pages that link to "Item:Q2250555"
From MaRDI portal
The following pages link to Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19--22, 2014. Proceedings (Q2250555):
Displaying 2 items.