Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st workshop of COST action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers /
Další autoři: |
Swart, H. C. M. de 1944-
(
Editor )
|
---|---|
Korporace: | |
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
Berlin :
Springer.,
[2002].
|
Edice: |
Lecture notes in computer science
|
Předmět: | |