Anatoli Degtyarev

1 paper in the IJCAI proceedings

IJCAI 1995

Equality Elimination for the Inverse Method and Extension Procedures

with Andrei Voronkov

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings