Search alternatives:
"_ computational in computing program" » "_ computational in consulting program" (Expand search), "_ computational in computer program" (Expand search), "_ computational in computador program" (Expand search), "_ computational and computing program" (Expand search), "_ computational _ computing program" (Expand search), "_ computational 3d computing program" (Expand search), "_ computational of computing program" (Expand search)
"based computation from linear programming" » "based computational from linear programming" (Expand search), "based competition from linear programming" (Expand search), "based compilation from linear programming" (Expand search), "based amputation from linear programming" (Expand search), "based complication from linear programming" (Expand search)
Showing 1 - 2 results of 2 for search '(("_ computational in computing program") OR ("based computation from linear programming"))~', query time: 1.08s Refine Results
1
Published 2019
“... for equality-checking modulo A, C and AC is automatically extracted from the specification and experiments are...”
Access document
Doctoral thesis
Export CSV Export RIS