登入選單
返回Google圖書搜尋
5th International Workshop on Proof, Computation, Complexity
PCC
其他書名
PCC '06 ; Ilmenau, July 24-25, 2006 ; [technical Report]
出版Univ.-Verlag Ilmenau, 2006
ISBN39394730149783939473015
URLhttp://books.google.com.hk/books?id=rN7ftAEACAAJ&hl=&source=gbs_api