Vol-1962⫷ Vol-1963 ⫸Vol-1964
urn:nbn:de:0074-1963-0


Vol-1963/paper546⫷Vol-1963/paper549⫸Vol-1963/paper555
Carsten HartenfelsMartin LeinbergerRalf LämmelSteffen Staab

Type-Safe Programming with OWL in Semantics4J