Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
種別: | 図書 |
---|---|
言語: |
英語
|
出版事項: |
Berlin ; Tokyo :
Springer-Verlag,
c1994
|
シリーズ: | Lecture notes in computer science
813 |
ISBN: | 0387581405 3540581405 |
主題: |