Vol-137⫷ Vol-138 ⫸Vol-139
urn:nbn:de:0074-138-0


Vol-138/paper-2⫷Vol-138/paper-3⫸Vol-138/paper-4

Deductive Synthesis of Workflows for e-Science