Login / Signup

From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing.

Wolfgang Hesse
Published in: Software, Services, and Systems (2015)
Keyphrases
  • formal logic
  • predicate logic
  • machine learning
  • formal methods
  • information retrieval
  • information systems
  • description logics
  • logic programs
  • higher level
  • logic programming
  • deductive databases