ADEMAL 2023

Automated Deduction for Machine Learning 

Workshop affiliated with  CADE 2023


Rome, Italy          July 5, 2023