Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings /

Guardado en:
書目詳細資料
主要作者: Sergei N. Artemov, Anil Nerode (edición)
格式: 圖書
語言:英语
出版: Berlín, Alemania : Springer, 2007, c2007
叢編:(Lecture Notes in Computer Science)
在線閱讀:Ver documento en línea
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!