Typ des Eintrags: |
Konferenzveröffentlichung
|
Erschienen: |
2002 |
Autor(en): |
Reus, Bernhard ; Streicher, Thomas |
Art des Eintrags: |
Bibliographie |
Titel: |
Semantics and logics of objects |
Sprache: |
Englisch |
Publikationsjahr: |
2002 |
Ort: |
Los Alamitos, Calif. [u.a.] |
Verlag: |
IEEE Comp. Soc. |
Reihe: |
Proceedings of LICS' 02 Symposium on logic in computer science <17, 2002, Copenhagen>. - Los Alamitos, Calif. [u.a.]: IEEE Comp. Soc., 2002 |
Fachbereich(e)/-gebiet(e): |
04 Fachbereich Mathematik |
Hinterlegungsdatum: |
19 Nov 2008 16:29 |
Letzte Änderung: |
26 Aug 2018 21:22 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |
|
Redaktionelle Details anzeigen |