... Jahrestagung der GI-Fachgruppe 0.1.6 - Gesellschaft für Informatik Fachgruppe Logik in der Informatik (Karlsruhe Univ., Fak. für Informatik)
Keywords: Zeitschrift; Konferenzschrift