Showing 1 - 2 results of 2 for search 'Bonacina', 查詢時間: 0.04s Refine Results
  1. 1
    Automated Deduction â€" CADE-24
    出版 2013
    其他作者: “...Bonacina...”
    Full text available on Springer
    Off-campus access
    電子 電子書
  2. 2
    Automated Reasoning and Mathematics
    出版 2013
    其他作者: “...Bonacina...”
    Full text available on Springer
    Off-campus access
    電子 電子書
檢索工具: 得到RSS訂閱 – 推薦此搜索