The Language of Mechanisation (Circle-U prize)

Date: November 25, 2022