Studies of Mathematical Practice and Lessons for ATP

Activity: Talk or presentation types › Invited talk

Description

Invited speaker at the 8th Conference on Artificial Intelligence and
Theorem Proving AITP 2023 September 3-8, 2023, Aussois, France

Period	3 Sept 2023 → 8 Sept 2023
Event title	8th Conference on Artificial Intelligence and Theorem Proving (AITP 2023)
Event type	Conference
Location	Aussois, FranceShow on map