Mathematical Journals as Reasoning Agents: Literature Review (2008)

by F Piroi, B Buchberger, Camelia Rosenkranz
Venue:University of Linz