Proceedings

John A. Kalman

1 paper in the IJCAI proceedings

IJCAI 1983

Computer-Aided Studies of All Possible Shortest Single Axioms for the Equivalential Calculus
with J. G. Peterson
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards