Universitšt Karlsruhe
The Sherlock-System - A Prototype for Many-Sorted Natural Semantics
@misc{,
  author={Rubino Geiß},
  title=\{The Sherlock-System - A Prototype for Many-Sorted Natural Semantics},
  year=\{1998},
  school=\{IPD Goos},
  address=\{Fakult√§t f√ľr Informatik, Universit√§t Karlsruhe},
}

Login
Links