Computer Science Logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL : Paris, France, September 10-13, 2001 : proceedings /
Uloženo v:
Korporativní autor: | |
---|---|
Další autoři: | |
Typ dokumentu: | Kniha |
Jazyk: | Angličtina |
Vydáno: |
Berlin :
Springer,
c2001
|
Edice: | Lecture notes in computer science ;
2142 |
Témata: |
Fyzický popis: | xii, 614 s. |
---|---|
ISBN: | 3-540-42554-3 |