Shelfclass_id |
3.A |
Sortkey |
CSL |
Authors |
Jörg Flum, Mario Rodríguez-Artalejo |
Title |
CSL '99: Computer Science Logic: 13th International Workshop CSL'99 ; 8th Annual Conference on the EACSL, Madrid, Spain, September 20-25, 1999: proceedings |
Publisher |
Springer-Verlag |
Year |
cop. 1999 |
Languages |
eng |
Isbn |
3540665366 |
Series |
Lecture Notes in Computer Science |
Volume |
1683 |
Issn |
0302-9743 |
Description |
(kart.) xi, 580 s. ill. |
Record date |
20071029 |
Location |
Berlin |
Notes |
Literaturangaben |
Urlnote |
La |
Urls |
http://link.springer.de/link/service/series/0558/tocs/t1683.htm |