Login / Signup

Improving Tableau Deductions in Multiple-Valued Logics.

Neil V. MurrayErik Rosenthal
Published in: ISMVL (1991)
Keyphrases
  • neural network
  • description logics
  • databases
  • machine learning