Jos de Bruin

1 paper in the IJCAI proceedings

IJCAI 1981

Symbolic Evaluation of LISP Functions with Side Effects for Verification

with Dennis de Champeaux

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings