Đang hiển thị 1 - 1 kết quả của 1 cho tìm kiếm '"Association for Logic Programming"', thời gian truy vấn: 0.06s Tinh chỉnh kết quả
1
Specification and verification of declarative open interaction models A Logic-Based Approach /
Bằng Montalti, Marco
Được phát hành 2010.
“... for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between...”
lấy văn bản
Livro
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