Note on the C-calculus.

Constantin Milici

Published in: Notre Dame J. Formal Log. (1975)

Keyphrases

computer algebra
machine learning
knowledge base
proof procedure
automated deduction
sequent calculus
database query languages
onset detection