Login / Signup

Elementary-base cirquent calculus II: Choice quantifiers.

Giorgi Japaridze
Published in: Log. J. IGPL (2021)
Keyphrases
  • natural language
  • databases
  • neural network
  • first order logic
  • automated deduction
  • school children
  • real world