Proceedings

Steven D. Litvintchouk

1 paper in the IJCAI proceedings

IJCAI 1977

A Proof-Checker for Dynamic Logic
with Vaughan R. Pratt
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards