Login / Signup

Completeness Theorem for Dummett's LC Quantified and Some of Its Extensions.

Giovanna Corsi
Published in: Stud Logica (1992)
Keyphrases
  • real time
  • machine learning
  • genetic algorithm
  • three dimensional
  • feature extraction
  • relational databases
  • intuitionistic logic