Shelfclass_id |
3.A |
Sortkey |
CSL |
Authors |
Egon Börger |
Title |
CSL '90: Computer Science Logic: 4th Workshop. Proceedings |
Publisher |
Springer-Verlag |
Year |
cop. 1991 |
Languages |
eng |
Isbn |
0387544879, 3540544879 |
Series |
Lecture Notes in Computer Science |
Volume |
533 |
Issn |
0302-9743 |
Description |
(New York) (Berlin) viii, 399 s. iagr. |
Record date |
20071029 |
Location |
New York |
Keywords |
Conference proceedings, Algoritmer, Datalogi, Computer science, Matematisk logik, Mathematical logic, Konferenspublikationer |
Notes |
"The workshop CSL'90 (Computer Science Logic) was held at the Max-Planck-Haus in Heidelberg, Germany, from October 1-5, 1990" |