Automating the synthesis of decision procedures in a constructive metatheory
- 期刊名称Annals of Mathematics and Artificial Intelligence
- 作者Alessandro Armando; Jason Gallagher; Alan Smaill; Alan Bundy
- 卷第22卷
- 印刷ISSN1012-2443
- 电子ISSN1573-7470
- 文件大小181.68KB
- 发表时间1998-07
- DOI10.1023/a:1018943603394
- 页码259-279
Inhibition of indomethacin crystallization in poly(vinylpyrrolidone) coprecipitatesMinoru Yoshioka; Bruno C. Hancock; George Zografi · 1995
Characteristics and significance of the amorphous state in pharmaceutical systemsBruno C. Hancock; George Zografi · 1997
Molecular Mobility of Amorphous Pharmaceutical Solids Below Their Glass Transition TemperaturesBruno C. Hancock; Sheri L. Shamblin; George Zografi · 1995
Effects of solid-state processing on water vapor sorption by aspirinBruno C. Hancock; George Zografi · 1996
Crystallization of indomethacin from the amorphous state below and above its glass transition temperatureMinoru Yoshioka; Bruno C. Hancock; George Zografi · 1994
The Use of Solution Theories for Predicting Water Vapor Absorption by Amorphous Pharmaceutical Solids: A Test of the Flory–Huggins and Vrentas ModelsBruno C. Hancock; George Zografi · 1993