DIMAI, Università degli Studi di Firenze
Events schedule
|
|
Next Seminar on Tuesday 29/04/2025, Aula 201 - DIMAI, 14:30 Speaker: Josef Urban, Czech Institute of of Informatics, Robotics and Cybernetics Title: Some Combinations of Machine Learning and Theorem Proving Methods |