J. G. Peterson

Department of Mathematics and Statistics University of Auckland , New Zealand

1 paper in the IJCAI proceedings

IJCAI 1983

Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus

with John A. Kalman

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings