Login / Signup

Geological time formalization: an improved formal model for describing time successions and their correlation.

Michel PerrinLaura S. MastellaOlivier MorelAlexandre Lorenzatti
Published in: Earth Sci. Informatics (2011)
Keyphrases
  • formal model
  • security properties
  • formal models
  • probabilistic knowledge
  • artificial intelligence
  • knowledge base
  • correlation analysis