Doktorarbeit,

Type-Oriented Logic Meta Programming

.
Department of Computer Science, Vrije Universiteit Brussel, Belgium, (1998)

Metadaten

Tags

Nutzer

  • @kimmens

Kommentare und Rezensionen