5 Nov
2002
5 Nov
'02
8:24 a.m.
Prof. Dr. Thomas Streicher, TU Darmstadt, Denotationale Semantik und Logik von Objektkalkülen, siehe auch http://www.cs.tu-bs.de/kolloquium/streicher.htm
8083
Age (days ago)
8083
Last active (days ago)
0 comments
1 participants
participants (1)
-
Sekretariat