Login / Signup

Stable Theories with A New Predicate.

Enrique CasanovasMartin Ziegler
Published in: J. Symb. Log. (2001)
Keyphrases
  • theoretical framework
  • first order logic
  • formal models
  • metadata
  • search algorithm
  • logic programs
  • information processing