[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || An approach to proof checker
- 作者Gruska, Jozef; Rovan, Branislav; Wiedermann, Juraj
- 文件大小690.51KB
- 发表时间1986
- DOI10.1007/BFb0016237
- 页码113-127
Trends in Colloid and Interface Science XVI || Characterisation of colloidal solidsMiguel, M.; Burrows, H. D. · 2004
Trends in Colloid and Interface Science XVI || Synergistic effects in binary surfactant mixturesMiguel, M.; Burrows, H. D. · 2004
Trends in Colloid and Interface Science XVI || Self-assembly of homogeneous systemsMiguel, M.; Burrows, H. D. · 2004
Trends in Colloid and Interface Science XVI || Synergistic effects in binary surfactant mixturesMiguel, M.; Burrows, H. D. · 2004
Trends in Colloid and Interface Science XVI || Spectroscopic mobility probing studies of lecithin organogelsMiguel, M.; Burrows, H. D. · 2004
Trends in Colloid and Interface Science XVI || Lecithin organogels as model carriers of pharmaceuticalsMiguel, M.; Burrows, H. D. · 2004
Trends in Colloid and Interface Science XVI || Interactions of selected flavonoids with NaDS micellesMiguel, M.; Burrows, H. D. · 2004
Trends in Colloid and Interface Science XVI || Rheology of starch-based colloidal microgelsMiguel, M.; Burrows, H. D. · 2004