Knowledge-based Theorem: Proving and Learning - Hardcover

Cohen, Donald N.

 
9780835712026: Knowledge-based Theorem: Proving and Learning