Simulating Dynamic Systems Using Linear Time Calculus Theories (Q2931258)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Simulating Dynamic Systems Using Linear Time Calculus Theories
    scientific article

      Statements

      Simulating Dynamic Systems Using Linear Time Calculus Theories (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      25 November 2014
      0 references
      dynamic systems
      0 references
      progression
      0 references
      simulation
      0 references
      knowledge base system
      0 references
      inferences
      0 references
      linear time calculus
      0 references

      Identifiers