Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
Julian Bradfield (ed.)
Bok Engelsk 2002 Workshop on Computer Science Logic
| Utgitt | Berlin : Springer , c2002
|
|---|---|
| Omfang | XII, 612 s. : ill.
|
| Emner | |
| ISBN | 3540442405
|
