[Progress in Colloid & Polymer Science] Trends in Colloid and Interface Science VIII Volume 97 || Surface and bulk properties of yttrium stabilized ZrO2 powders in dispersions
- 作者Ottewill, R. H.; Rennie, A. R.
- 文件大小562.05KB
- 发表时间1994
- DOI10.1007/bfb0115135
- 页码51-58
Lecture Notes in Computer Science 2023 Digital Document:Systems and PrinciplesPeter King · Springer-Verlag · 2004
[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming ||Milano, Michela · 2012
[Lecture Notes in Computer Science] Principles of Security and Trust Volume 9036 ||Focardi, Riccardo; Myers, Andrew · 2015
[Lecture Notes in Computer Science] Principles of Security and Trust Volume 10204 ||Maffei, Matteo; Ryan, Mark · 2017
[Lecture Notes in Computer Science] Principles of Security and Trust Volume 7796 ||Basin, David; Mitchell, John C. · 2013
[Lecture Notes in Computer Science] Principles and Practice of Declarative Programming Volume 1702 ||Nadathur, Gopalan · 1999
[Lecture Notes in Computer Science] Principles of Security and Trust Volume 9635 ||Piessens, Frank; Viganò, Luca · 2016
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Proof principles for datatypes with iterated recursionMoggi, Eugenio; Rosolini, Giuseppe · 1997
Attributive concept descriptions with complementsManfred Schmidt-Schauß; Gert Smolka · 1991
A complete and recursive feature theoryRolf Backofen; Gert Smolka · 1995
Records for logic programmingGert Smolka; Ralf Treinen · 1994
Hybrid Tableaux for the Difference ModalityMark Kaminski; Gert Smolka · 2009
Situated simplificationAndreas Podelski; Gert Smolka · 1997
Basic narrowing revisitedWerner Nutt; Pierre Réty; Gert Smolka · 1989
Inheritance hierarchies: Semantics and unificationGert Smolka; Hassan Ait-Kaci · 1989
Order-sorted unificationJose Meseguer; Joseph A. Goguen; Gert Smolka · 1989