在您的搜尋 主題建議
Showing 1 - 5 results of 5 for search '', 查詢時間: 0.01s Refine Results
  1. 1
    Recursive analysis.
    圖書
    加到收藏夾
    Saved in:
  2. 2
    The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
    Conference Proceeding 圖書
    出版 1980
    加到收藏夾
    Saved in:
  3. 3
    Generalized recursion theory II : proceedings of the 1977 Oslo symposium /
    Conference Proceeding 圖書
    出版 1978
    加到收藏夾
    Saved in:
  4. 4
    First-order dynamic logic /
    圖書
    由 Harel, David, 1950-
    出版 1979
    加到收藏夾
    Saved in:
  5. 5
    Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 /
    Conference Proceeding 圖書
    出版 1977
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 – 推薦此搜索 – 保存搜索