Vol-2985⫷ Vol-2986 ⫸Vol-2987
urn:nbn:de:0074-2986-0


Vol-2986/paper8⫷Vol-2986/paper9⫸Vol-2986/paper10

Extending Real Logic with Aggregate Functions