ML Anthology

Peterson, J. G.

1 publications

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