Public

Improving Deduction Efficiency

Published • Jan 1, 1997

NobleIDark:/48914/w1/20260524/86450E7ARecord on NobleID

Authors:

Rolf Socher-Ambrosius

,

Patricia Johann

Subject

Completeness (order theory)

Resolution (logic)

Calculus (dental)

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!