Logical Foundations of Computer Science
International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings
Theoretical Computer Science and General Issues
Artemov, Sergeij (EDT)
Nerode, Anil (EDT)
- 出版社:Springer
- 出版年月:2007年 06月
- ISBN:9783540727323
- 装丁:PAP
-
装丁について
- 言語:ENG
- 巻数・ページ数:513 p.
- 分類: コンピュータ一般
- DDC分類:511