Login / Signup
On Herbrand consistency in weak arithmetic.
Zofia Adamowicz
Pawel Zbierski
Published in:
Arch. Math. Log. (2001)
Keyphrases
</>
logic programs
logic programming
first order logic
arithmetic operations
consistency checking
data sets
neural network
artificial intelligence
search algorithm
global consistency
declarative semantics