Research Catalog
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers
- Title
- Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn (eds.).
- Publication
- Berlin ; New York : Springer, c1995.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 95-1798 | Offsite |
Details
- Additional Authors
- Description
- ix, 541 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science ; 933
- Alternative Title
- C.SL /94 computer science logic
- Subjects
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 95-1798
- ISBN
- 3540600175 (Berlin : acid-free paper)
- 0387600175 (New York : acid-free paper)
- LCCN
- 95023973
- OCLC
- 32664671
- Title
- Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn (eds.).
- Imprint
- Berlin ; New York : Springer, c1995.
- Series
- Lecture notes in computer science ; 933
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Pacholski, Leszek.Tiuryn, Jerzy.Workshop on Computer Science Logic (8th : 1994 : Kazimierz, Poland)
- Spine Title
- C.SL /94 computer science logic
- Research Call Number
- JSE 95-1798