Shelfclass_id |
3.A |
Sortkey |
CSL |
Authors |
Leszek Pacholski, Jerzy Tiuryn |
Title |
CSL '94: Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994: Selected Papers |
Publisher |
Springer Pub. Co. |
Year |
c1995 |
Languages |
eng |
Isbn |
0387600175, 3540600175 |
Series |
Lecture Notes in Computer Science |
Volume |
933 |
Issn |
0302-9743 |
Description |
(Berlin: acid-free paper) (New York: acid-free paper) ix, 541 p. ill. 24 cm. |
Record date |
20071029 |
Location |
New York |
Keywords |
Computer science, Logic, Symbolic and mathematical |