Pages that link to "Item:Q1589868"
From MaRDI portal
The following pages link to Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6--10, 2000. Proceedings (Q1589868):
Displaying 1 item.