Proceedings

J. G. Peterson

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
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards