Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1,461 - 1,480 kết quả của 3,031 cho tìm kiếm '"logic"', thời gian truy vấn: 0.07s Tinh chỉnh kết quả
1461
Programming Languages and Systems
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1462
Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1463
Descriptional Complexity of Formal Systems
Bỡi Konstantinidis, Stavros, Pighizzini, Giovanni
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1464
Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1465
Computer Aided Verification
Bỡi Majumdar, Rupak, Kunčak, Viktor
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1466
Theory and Applications of Formal Argumentation
Bỡi Black, Elizabeth, Modgil, Sanjay, Oren, Nir
Được phát hành 2020
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1467
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Bỡi D'Souza, Deepak, Lal, Akash, Larsen, Kim Gulstrand
Được phát hành 2015
Những chủ đề: “...Logics and Meanings of Programs...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1468
Nhập môn toán cao cấp Giáo trình cao đẳng sư phạm
Bỡi Hoàng Xuân Sính
Được phát hành 2003
Những chủ đề: “...Lôgic...”
Thư viện lưu trữ: Trung tâm Học liệu Lê Vũ Hùng, Trường Đại học Đồng Tháp
Lưu vào danh sách
Đã lưu trong:
1469
Nhập môn toán cao cấp Giáo trình cao đẳng sư phạm
Bỡi Hoàng Xuân Sính
Được phát hành 2004
Những chủ đề: “...Lôgic...”
Thư viện lưu trữ: Trung tâm Học liệu Lê Vũ Hùng, Trường Đại học Đồng Tháp
Lưu vào danh sách
Đã lưu trong:
1470
Khảo sát thực trạng năng lực sử dụng ngôn ngữ toán học cho sinh viên sư phạm toán ở các trường Đại học /
Những chủ đề: “...Logic toán...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
1471
Trí tuệ nhân tạo
Bỡi Nguyễn, Thanh Thủy
Được phát hành 2007
Những chủ đề: “...Lôgic học; biểu tượng hóa và toán học; Trí tuệ nhân tạo...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Trà Vinh
Lưu vào danh sách
Đã lưu trong:
1472
Toán học rời rạc ứng dụng trong tin học
Bỡi Rosen, Kenneth H.
Được phát hành 2007
Những chủ đề: “...Khoa học máy tính; Logic; biểu tượng và toán học; Toán học...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Trà Vinh
Lưu vào danh sách
Đã lưu trong:
1473
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Được phát hành 2001
Những chủ đề: “...Logic, Symbolic and mathematical Congresses....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
1474
Formal Methods Teaching
Bỡi Dongol, Brijesh, Petre, Luigia, Smith, Graeme
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1475
Deep Learning with Python. 1st ed.
Bỡi Ketkar, Nikhil
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1476
Fuzzy-Neuro Approach to Agent Applications
Bỡi Lee, Raymond S.T.
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1477
Introduction to Mathematica® with Applications. 1st ed. 2017
Bỡi Mureşan, Marian
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1478
Readings in Formal Epistemology. 1st ed.
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1479
Introduction to Octave. 1st ed.
Bỡi Nagar, Sandeep
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
1480
Theory and Applications of Models of Computation. 1st ed. 2017
Bỡi Gopal, T.V., Jäger, Gerhard, Steila, Silvia
Được phát hành 2020
Những chủ đề: “...Mathematical Logic and Formal Languages...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Liên kết dữ liệu
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