登入選單
返回Google圖書搜尋
Turing-machines and the Entscheidungsproblem
J. Richard Büchi
其他書名
Technical Report
出版1961
URLhttp://books.google.com.hk/books?id=Ow7vAAAAMAAJ&hl=&source=gbs_api