Proceedings

Mario Aiello

1 paper in the IJCAI proceedings

IJCAI 1975

Checking Proofs in the Metamathematics of First Order Logic
with Richard W. Weyhrauch
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards