| 名称: | |
| 描述: | |
| 公开/私有: | 公开 私有 |
标签:
用空格间隔多个标签,如:小说 文学 余秋雨
保存至书单:
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings / |
|
|
ISBN/ISSN:
|
0387544879 |
|
ISBN/ISSN:
|
3540544879 : 价格： Y27.50 |
|
题名:
|
Computer science logic [4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings ] |
|
出版发行:
|
Berlin ; : Springer-Verlag, c1991. |
|
载体形态:
|
viii, 399 p.: ill. ; 25 cm. |
|
丛编:
|
Lecture notes in computer science ; |
|
附注:
|
A selection of papers presented at the workshop CSL'90 which was held at the Max-Planck-Haus in Heidelberg, Germany from October 1-5, 1990. |
|
主题词:
|
Computer science Congresses. |
|
主题词:
|
Logic, Symbolic and mathematical Congresses. |
|
主要责任者:
|
Borger, E. 1946- (Egon), |
|
标签:
|
|
|
相关资源:
|
|
|
分享资源:
|
|
限定所在馆:
限定所在馆藏地点:
限定馆藏状态:
HEA| |01261nam 2200313 450 001| |021998011563 003| |CAL 005| |20050606133428.0 008| |910726s1991 gw a b 100 0 eng 010| |▼a 91028940 020| |▼a0387544879 020| |▼a3540544879 :▼cY27.50 040| |▼aDLC▼cJLU▼dJLU 050|00|▼aQA75.5 082|00|▼a004▼220 094| |▼a73.87▼22 111|2 |▼aWorkshop on Computer Science- | | Logic▼n(4th :▼d1990 :▼cHeidel- | |berg, Germany) 245|10|▼aComputer science logic :▼b4t- | |h workshop, CSL \'90, Heidelber- | |g, Germany, October 1-5, 1990 - | |: proceedings /▼cE. Borger ...- | | [et al.], eds. 260| |▼aBerlin ;▼aNew York :▼bSpring- | |er-Verlag,▼cc1991. 300| |▼aviii, 399 p.:▼bill. ;▼c25 cm. 440| 0|▼aLecture notes in computer sc- | |ience ;▼vv.533 500| |▼aA selection of papers presen- | |ted at the workshop CSL\'90 whi- | |ch was held at the Max-Planck－－ | |Haus in Heidelberg, Germany fr- | |om October 1-5, 1990. 504| |▼aIncludes bibliographical references. 650| 0|▼aComputer science▼xCongresses. 650| 0|▼aLogic, Symbolic and mathemat- | |ical▼xCongresses. 700|1 |▼aBorger, E.▼q(Egon),▼d1946- 950| |▼awhutl▼f73.87/B732 998| |▼aJLU 999| |▼tC▼Atshs22▼a20050606 13:33:36- | |▼Mtshs22▼m20050606 13:34:28▼Gt- | |shs22▼g20050606 13:34:47
- 温馨提示：只有“所在馆位置”为“社科自科借阅室、文学借阅室”且“馆藏状态”为“在馆”的图书才能借出，其他“馆藏地点”的书均不可借出。
- “所在图书馆”为“典阅室”的图书只能在室内阅览。
- 查询期刊“现刊架号”请查“报刊指南->期刊分类查询表”。