TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 2.
Reus, B. ; Streicher, Thomas (1999)
Semantics and logics of objects.
Konferenzveröffentlichung, Bibliographie
Reus, B. ; Streicher, Thomas (1997)
General synthetic domain theory - a logical approach.
Konferenzveröffentlichung, Bibliographie