Stem dissolut$ (all stems)

3 papers:

CASE-2015-SustoM #approach #machine learning #multi #predict

Slow release drug dissolution profile prediction in pharmaceutical manufacturing: A multivariate and machine learning approach (GAS, SFM), pp. 1218–1223.

CADE-1990-MurrayR #named #proving #theorem proving

DISSOLVER: A Dissolution-based Theorem Prover (NVM, ER), pp. 665–666.

CADE-1988-MurrayR #implementation

An Implementation of a Dissolution-Based System Employing Theory Links (NVM, ER), pp. 658–674.