名称: | |
描述: | |
公开/私有: | 公开 私有 |
CSL `89: 3rd Workshop on ... |
|
ISBN/ISSN:
|
3540527532 价格: 21.40 |
ISBN/ISSN:
|
0387527532 |
中图分类法
:
|
TP302.2-53 |
题名:
|
CSL `89 [3rd Workshop on ...] |
出版发行:
|
Berlin : Springer-Verlag , c1990. |
载体形态:
|
vi, 437 p. ; 24 cm. |
丛编:
|
Lecture notes in computer science |
附注:
|
Includes bibliographical references. |
主题词:
|
Computer science--Mathematics--Congresses. |
主题词:
|
Logic, Symbolic and mathematical--Congresses. |
主要责任者:
|
Borger, E. 1946- |
主要责任者:
|
Kleine Buning, H. |
主要责任者:
|
Richter, Michael M. 1938- |
标签:
|
|
相关资源:
|
|
分享资源:
|
HEA| |01086nam 2200313 450 001| |021998011562 003| |CAL 005| |20050606133258.0 008| |900605s1990 100 020| |▼a3540527532▼c21.40 020| |▼a0387527532 035| |▼a00060990 082|00|▼a004/.01/5113 093| |▼aTP302.2-53▼23 094| |▼a73.87▼22 111|2 |▼aWorkshop on Computer Science- | | Logic▼n3rd▼d1989▼cKaiserslaut- | |ern, Germany 245|10|▼aCSL `89▼b3rd Workshop on ...- | |▼cE. Borger, H. Kleine Buning,- | | M.M. Richter (eds.). 260| |▼aBerlin▼bSpringer-Verlag▼cc1990. 300| |▼avi, 437 p.▼c24 cm. 440| 0|▼aLecture notes in computer science▼v440 500| |▼aIncludes bibliographical references. 650| 0|▼aComputer science--Mathematic- | |s--Congresses. 650| 0|▼aLogic, Symbolic and mathemat- | |ical--Congresses. 700|1 |▼aBorger, E.▼d1946-▼b(Egon) 700|1 |▼aKleine Buning, H.▼b(Hans) 700|1 |▼aRichter, Michael M.▼d1938- 950| |▼awhutl▼f73.87/B732 998| |▼aECN 999| |▼tC▼Atshs22▼a20050606 13:31:58- | |▼Mtshs22▼m20050606 13:32:58▼Gt- | |shs22▼g20050606 13:33:19