登入選單
返回Google圖書搜尋
Short Proofs May be Spacious
Jakob Nordström
其他書名
Understanding Space in Resolution
出版Theoretical Computer Science, Teoretisk datalogi, Kungliga Tekniska högskolan, 2008
ISBN91717893679789171789365
URLhttp://books.google.com.hk/books?id=utjljwEACAAJ&hl=&source=gbs_api