TU Darmstadt / ULB / TUbiblio

Semantics and logics of objects

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

Item Type: Conference or Workshop Item
Erschienen: 1999
Creators: Reus, B. ; Streicher, Thomas
Title: Semantics and logics of objects
Language: English
Series: Logic in computer science <14, 1999, Trento, IT> : proceedings .- 2002
Divisions: 04 Department of Mathematics
Date Deposited: 19 Nov 2008 16:29
License: [undefiniert]
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details