Login / Signup

More on an Undecidability Result of Bateman, Jockusch and Woods.

Maurice Boffa
Published in: J. Symb. Log. (1998)
Keyphrases
  • neural network
  • description logics
  • preprocessing
  • expert systems