题名:
|
Workshop on Computer Science Logic(1st : 1987 : Karlsuhe) / , |
ISBN:
|
价格: ¥93.16 |
语种:
|
eng |
载体形态:
|
346 p. |
出版发行:
|
出版地: Berlin 出版社: Springer 出版日期: 1988 |
其它题名:
|
CSL`87 : proceedings |
主要团体责任者:
|
Workshop on Computer Science Logic |
索书号:
|
1 |