This work doesn't have a description yet. Can you add one?
Subjects
| Edition | Availability |
|---|---|
|
1
Computer science logic: 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings
2002, Springer
in English
3540442405 9783540442400
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references and index
Also available via the World Wide Web