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: | |
|
|