Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings /
種別: | 図書 |
---|---|
言語: |
英語
|
出版事項: |
Berlin ; New York :
Springer-Verlag,
c1992
|
シリーズ: | Lecture notes in computer science
620 |
ISBN: | 3540557075 0387557075 |
主題: |
記述事項: | Includes bibliographical references |
---|---|
形態事項: | ix, 514 p. : ill. ; 25 cm |