Shelfclass_id |
3.A |
Sortkey |
CSL |
Authors |
European Association for Computer Science Logic. Oxford, England) |
Title |
CSL 2005: Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings |
Publisher |
Springer-Verlag |
Year |
2005 |
Languages |
eng |
Isbn |
3540282319, 9783540282310 |
Series |
Lecture Notes in Computer Science |
Volume |
3634 |
Issn |
0302-9743 |
Description |
(pbk.) xi, 565 p. ill. 24 cm. |
Record date |
20071029 |
Location |
New York |
Keywords |
Computer logic |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0663/2005930337-d.html |