Pages that link to "Item:Q2865084"
From MaRDI portal
The following pages link to Automated generation of logical constraints on approximation spaces using quantifier elimination (Q2865084):
Displaying 2 items.
The following pages link to Automated generation of logical constraints on approximation spaces using quantifier elimination (Q2865084):
Displaying 2 items.