Modelling the Flow and Solidification of Metals || Recent developments in modelling metal flow and solidificationSmith, T. J. · 1987

[Engineering Materials and Processes] Modeling of Metal Forming and Machining Processes Volume 43 || Finite Element Modeling of Metal Forming Processes Using Eulerian Formulation, · 2008

An Interstitial-Electron Model for the Structure of Metals and Alloys I. Description of Model for Metallic BindingJohnson, Oliver · Bulletin of the Chemical Society of Japan · 1972

ChemInform Abstract: Synthesis and Characterization of Model System in Biologically Related Function — Model Compounds for Investigation of Metal—Metal Interaction and Nucleobase—Aromatics InteractionMasao Hisatome · 2002

Metal Forming Science and Practice || Modelling and Optimization of Metal Forming ProcessesManninen, T. · 2002

Synthesis and Characterization of Model System in Biological Related Function. Model Compounds for Investigation of Metal-Metal Interaction and Nucleobase-Aromatics Interaction.HISATOME, Masao · YAKUGAKU ZASSHI · 2001

Tribocorrosion of Passive Metals and Coatings || Models and mechanisms of erosion–corrosion in metalsStack, M.M. · 2011

Accumulation of heavy metals in Oostriku peat bog, Estonia: -site description, conceptual modelling and geochemical modelling of the source of the metalsK. Syrovetnik; E. Puura; I. Neretnieks · 2004

Compulsory reduction in linear derivation systemsGeoff Sutcliffe · 1991

Empirically successful computerized reasoningRenate A. Schmidt; Geoff Sutcliffe; Stephan Schulz · 2009

Automated verification of refinement lawsPeter Höfner; Georg Struth; Geoff Sutcliffe · 2009

Empirically Successful Automated Reasoning: Applications IssueBernd Fischer; Geoff Sutcliffe; Stephan Schulz · 2006

Empirically Successful Automated Reasoning: Systems IssueBernd Fischer; Geoff Sutcliffe; Stephan Schulz · 2006

An Interactive Derivation ViewerSteven Trac; Yury Puzis; Geoff Sutcliffe · 2007

The TPTP Problem LibraryGeoff Sutcliffe; Christian Suttner · 1998

The CADE-13 ATP System CompetitionGeoff Sutcliffe; Christian Suttner · 1997