Login / Signup

Involution as a basis for propositional calculi.

Michael B. Smyth
Published in: Notre Dame J. Formal Log. (1974)
Keyphrases
  • propositional logic
  • first order logic
  • database
  • real time
  • data sets
  • machine learning
  • default logic