Computer supported formal work: Towards a digital mathematical assistant (2007)

by J Siekmann, S Autexier
Venue:University of Bialystok