Login / Signup

An Investigation of the Negationless Fragment of the Rescher-Härtig quantifier.

Thomas L. Mayer
Published in: FoIKS (2024)
Keyphrases
  • quantifier elimination
  • computer vision
  • special case
  • digital libraries
  • real time
  • databases
  • cooperative
  • first order logic
  • fuzzy measures