Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1 - 20 kết quả của 42 cho tìm kiếm '', thời gian truy vấn: 0.04s Tinh chỉnh kết quả
  1. 1
    Logic for computer science and artificial intelligence /
    Bằng Caferra, Ricardo
    Được phát hành 2011
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  2. 2
    Proofs and algorithms : an introduction to logic and computability /
    Bằng Dowek, Gilles
    Được phát hành 2011
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  3. 3
    Introductory logic and sets for computer scientists /
    Bằng Nissanke, Nimal
    Được phát hành 1999
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  4. 4
    Microsoft visual basic programs to accompany programming logic and design /
    Bằng Smith, Jo Ann
    Được phát hành 2013
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  5. 5
    Logical problem solving before the flowchart with C++ and visual basic applications /
    Bằng Lamey, Robert
    Được phát hành 2002
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  6. 6
    Logic-based artificial intelligence /
    Được phát hành 2000
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  7. 7
    Dynamic logic /
    Bằng Harel, David
    Được phát hành 2000
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  8. 8
    Computer science logic /
    Được phát hành 2000
    Hội nghị đang tiến hành Sách
    Lưu vào danh sách
    Đã lưu trong:
  9. 9
    Handbook of practical logic and automated reasoning /
    Bằng Harrison, John
    Được phát hành 2009
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  10. 10
    Computational logic in multi-agent systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
    Được phát hành 2005
    SpringerLink
    Hội nghị đang tiến hành eBook
    Lưu vào danh sách
    Đã lưu trong:
  11. 11
    Computer science logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
    Được phát hành 2005
    SpringerLink
    Hội nghị đang tiến hành eBook
    Lưu vào danh sách
    Đã lưu trong:
  12. 12
    Computational logic in multi-agent systems (vol. # 3900) : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
    Được phát hành 2006
    Click here to view the full text content
    Hội nghị đang tiến hành eBook
    Lưu vào danh sách
    Đã lưu trong:
  13. 13
    Computer science logic (vol. # 4207) : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /
    Click here to view the full text content
    eBook
    Lưu vào danh sách
    Đã lưu trong:
  14. 14
    Automated reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
    Được phát hành 2006
    Click here to view the full text content
    Hội nghị đang tiến hành eBook
    Lưu vào danh sách
    Đã lưu trong:
  15. 15
    Dag Prawitz on Proofs and Meaning /
    Được phát hành 2015
    Click here to view the full text content
    eBook
    Lưu vào danh sách
    Đã lưu trong:
  16. 16
    Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
    Được phát hành 2015
    Click here to view the full text content
    eBook
    Lưu vào danh sách
    Đã lưu trong:
  17. 17
    FM 2015: Formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
    Được phát hành 2015
    Click here to view the full text content
    eBook
    Lưu vào danh sách
    Đã lưu trong:
  18. 18
    Computation engineering : applied automata theory and logic /
    Bằng Gopalakrishnan, Ganesh
    Được phát hành 2006
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  19. 19
    Logic functions and equations : binary models for computer science /
    Bằng Posthoff, Christian
    Được phát hành 2004
    Sách
    Lưu vào danh sách
    Đã lưu trong:
  20. 20
    Logic for learning : learning comprehensive theories from structured data /
    Bằng Lloyd, John W.
    Được phát hành 2003
    Sách
    Lưu vào danh sách
    Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS – Tìm kiếm email này – Lưu tìm kiếm