Login / Signup

A Couple of Novelties in the Propositional Calculus.

C. A. R. Hoare
Published in: Math. Log. Q. (1985)
Keyphrases
  • propositional calculus
  • knowledge base
  • programming language
  • belief revision