Vol-3071⫷ Vol-3072 ⫸Vol-3073
urn:nbn:de:0074-3072-0


Vol-3072/paper12⫷Vol-3072/paper13⫸Vol-3072/paper14

A Decidable Theory Treating Addition of Differentiable Real Functions