Vol-359⫷ Vol-360 ⫸Vol-361
urn:nbn:de:0074-360-0


Vol-360/paper-4⫷Vol-360/paper-5⫸Vol-360/paper-6
Pierre CorbineauFreek WiedijkHerman GeuversJames McKinnaCezary Kaliszyk

A real Semantic Web for mathematics deserves a real semantics