Domenico Cantone

1 paper in the IJCAI proceedings

IJCAI 1989

On the Decidability of Formulae Involving Continuous and Closed Functions

with Eugenio G. Omodeo

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings