TU Darmstadt / ULB / TUbiblio

Semantics and logics of objects

Reus, B. ; Streicher, Thomas :
Semantics and logics of objects.
In: Logic in computer science <14, 1999, Trento, IT> : proceedings .- 2002 .
[Konferenz- oder Workshop-Beitrag], (1999)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1999
Autor(en): Reus, B. ; Streicher, Thomas
Titel: Semantics and logics of objects
Sprache: Englisch
Reihe: Logic in computer science <14, 1999, Trento, IT> : proceedings .- 2002
Fachbereich(e)/-gebiet(e): Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:29
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen