在您的搜尋 主題建議
Showing 1 - 20 results of 334 for search '', 查詢時間: 0.02s Refine Results
  1. 1
    Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa /
    出版 2010
    圖書
    加到收藏夾
    Saved in:
  2. 2
    Transition to higher mathematics : structure and proof /
    由 Dumas, Bob A.
    出版 2007
    圖書
    加到收藏夾
    Saved in:
  3. 3
    Introduction to mathematical logic /
    由 Walicki, Michał
    出版 2012
    圖書
    加到收藏夾
    Saved in:
  4. 4
    Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
    出版 2012
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
  5. 5
    Proofs and algorithms : an introduction to logic and computability /
    由 Dowek, Gilles
    出版 2011
    圖書
    加到收藏夾
    Saved in:
  6. 6
    A science of operations : machines, logic and the invention of programming /
    由 Priestley, Mark
    出版 2010
    圖書
    加到收藏夾
    Saved in:
  7. 7
    Qualitative spatial and temporal reasoning /
    由 Ligozat, Gerard
    出版 2012
    圖書
    加到收藏夾
    Saved in:
  8. 8
    Mathematical epistemology and psychology /
    由 Beth, Evert Willem
    出版 1966
    圖書
    加到收藏夾
    Saved in:
  9. 9
    Algebraic modeling systems : modeling and solving real world optimization problems /
    出版 2012
    圖書
    加到收藏夾
    Saved in:
  10. 10
    Computational logic and human thinking : how to be artificially intelligent /
    由 Kowalski, Robert
    出版 2011
    圖書
    加到收藏夾
    Saved in:
  11. 11
    Tractatus logico-philosophicus /
    由 Wittgenstein, Ludwig
    出版 2001
    圖書
    加到收藏夾
    Saved in:
  12. 12
    Logic and specification : extending VDM-SL for advanced formal specification /
    由 Middelburg, Cornelis A.
    出版 1993
    圖書
    加到收藏夾
    Saved in:
  13. 13
    Lectures in logic and set theory : mathematical logic /
    由 Tourlakis, George
    出版 2003
    圖書
    加到收藏夾
    Saved in:
  14. 14
    Introduction to digital logic design /
    由 Hayes, John P.
    出版 1993
    圖書
    加到收藏夾
    Saved in:
  15. 15
    Logics in artificial intelligence : European workshop, JELIA 2000, Malaga, Spain, September 29-October 2, 2000 : proceedings /
    出版 2000
    圖書
    加到收藏夾
    Saved in:
  16. 16
    Dynamic formal epistemology /
    出版 2011
    Conference Proceeding 圖書
    加到收藏夾
    Saved in:
  17. 17
    Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
    由 Schroder, Bernd S. W.
    出版 2010
    圖書
    加到收藏夾
    Saved in:
  18. 18
    Handbook of mathematical induction : theory and applications /
    由 Gunderson, David S.
    出版 2011
    圖書
    加到收藏夾
    Saved in:
  19. 19
    Discrete structures with contemporary applications /
    由 Stanoyevitch, Alexander
    出版 2011
    圖書
    加到收藏夾
    Saved in:
  20. 20
    An introduction to practical formal methods using temporal logic /
    由 Fisher, Michael
    出版 2011
    圖書
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 – 推薦此搜索 – 保存搜索