[Progress in Colloid & Polymer Science] Advances in Colloid Structures Volume 88 || ESCA studies of solution/vacuum interfaces
- 作者Sjöblom, J.; Lindman, B.; Stenius, P.
- 文件大小613.78KB
- 发表时间1992
- DOI10.1007/BFb0114429
- 页码146-153
Lecture Notes in Computer Science 3922 Fundamental Approaches to Software Engineering 9th InternatioFASE 2006 · Springer-Verlag · 2006
Lecture Notes in Computer Science 4199 Model Driven Engineering Languages and Systems 9th InternatioMODELS 2006 · Springer-Verlag · 2006
Lecture Notes in Computer Science 4296 Information Security and Cryptology-ICISC 2006 9th InternatioSpringer-Verlag · 2006
Non-horn problemsEwing Lusk; Ross Overbeek · 1985
The design of entity-relationship models for general ledger systemsBruce Parrello; Ross Overbeek; Ewing Lusk · 1985
The Aurora or-parallel Prolog systemEwing Lusk; Ralph Butler; Terrence Disz; Robert Olson; Ross Overbeek; Rick Stevens; David H. D. Warren; Alan Calderwood; Péter Szeredi; Seif Haridi; Per Brand; Mats Carlsson; Andrzej Ciepielewski; Bogumil Hausman · 1990
Set theory in first-order logic: Clauses for Gödel's axiomsRobert Boyer; Ewing Lusk; William McCune; Ross Overbeek; Mark Stickel; Lawrence Wos · 1986
[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || Linear modal deductionsLusk, Ewing; Overbeek, Ross · 1988
[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || MOLOG: A modal PROLOGLusk, Ewing; Overbeek, Ross · 1988
[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || Computational metatheory in NuprlLusk, Ewing; Overbeek, Ross · 1988
[Lecture Notes in Computer Science] 9th International Conference on Automated Deduction Volume 310 || Type inference in PrologLusk, Ewing; Overbeek, Ross · 1988