000 00441nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783540471660
100 _aAntonetta J.M. van Gasteren
245 0 _aOn the Shape of Mathematical Arguments
250 _a1990
260 _bSpringer Berlin Heidelberg
_c1990
440 _aLecture Notes in Computer Science
650 _aComputer Science
856 _uhttps://doi.org/10.1007/BFb0020908
999 _c25749
_d25749