Event created by: Daniele Angella
|
- Title: Some Combinations of Machine Learning and Theorem Proving Methods
- Speaker: Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics
- Location: Aula 201 - DIMAI
- Date: Tuesday 29/04/2025, 14:30
- Subjects: [Dini Mathematical Colloquium]
- Abstract:
|