ML Anthology

Kalman, John A.

1 publications

IJCAI 1983 Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus John A. Kalman, J. G. Peterson