CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
- 種類:
- 図書
- 責任表示:
- E. Börger, H. Kleine Büning, M.M. Richter (eds.)
- 出版情報:
- Berlin ; Tokyo : Springer-Verlag, c1988
- 著者名:
- シリーズ名:
- Lecture notes in computer science ; 329 <BA00009279>
- ISBN:
- 9783540502418 [3540502416] (: gw)
9780387502410 [0387502416] (: us) - 注記:
- Includes bibliographical references
類似資料:
1
![]() Springer-Verlag |
7
![]() Springer-Verlag |
2
![]() Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer | |
10
![]() Springer Berlin Heidelberg : Imprint: Springer | |