Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings /
種別: | 図書 |
---|---|
言語: |
英語
|
出版事項: |
Berlin ; New York :
Springer-Verlag,
c1997
|
シリーズ: | Lecture notes in computer science
1234 |
ISBN: | 3540630457 |
主題: |