Van Gasteren, A J M.
On the shape of the mathematical arguments - Berlin Springer-Verlag 1990 - 180 - Lecture notes in computer science ; 00445 .
3540528490
Mathematical Arguments
681 LNCS
On the shape of the mathematical arguments - Berlin Springer-Verlag 1990 - 180 - Lecture notes in computer science ; 00445 .
3540528490
Mathematical Arguments
681 LNCS