Pages that link to "Item:Q2810214"
From MaRDI portal
The following pages link to The anatomy of a comprehensive constrained, restrained refinement program for the modern computing environment -- \textit{Olex2} dissected (Q2810214):
Displaying 1 item.