Vol-2260⫷ Vol-2261 ⫸Vol-2262
urn:nbn:de:0074-2261-0


Vol-2261/paper1⫷Vol-2261/paper2⫸Vol-2261/paper3

Automating “Human-Like” Example-Use in Mathematics