Derivatives of Logical Formulas.

Dmitriy Traytel

Published in: Arch. Formal Proofs (2015)

Keyphrases

logical formulas
knowledge base
predicate logic
first order logic
partial order
horn theories
higher order
natural language
directional derivatives
artificial intelligence
quasi invariant
data analysis
software engineering
flow field
image derivatives
partial derivatives