Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
- 種類:
- 電子ブック
- 責任表示:
- edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter
- 出版情報:
- Berlin, Heidelberg : Springer-Verlag, 1993
- 著者名:
Börger, E. Jäger, G. Kleine Büning, H. Martini, S. Richter, M. M. SpringerLink (Online service) - シリーズ名:
- Lecture Notes in Computer Science ; 702
- ISBN:
- 9783540478904 [3540478906]
- ローカル注記:
- 岐阜大学構成員専用E-BOOKS (Gifu University members only)
類似資料:
3
電子ブック
CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
Springer-Verlag | |
Springer Berlin Heidelberg : Imprint: Springer | |