Login / Signup
A theorem concerning a restricted rule of substitution in the field of propositional calculi. II.
Boleslaw Sobocinski
Published in:
Notre Dame J. Formal Log. (1974)
Keyphrases
</>
computer science
search space
expert systems
active databases
rule learning
digital topology