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