Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 9,621 - 9,640 kết quả của 726,297 cho tìm kiếm '', thời gian truy vấn: 0.33s Tinh chỉnh kết quả
9627
Automatic proof-search heuristics in the maude invariant analyzer tool
Bằng Camilo Rocha
Được phát hành 2013
Connect to this object online.
Điện tử Bài viết

Lưu vào danh sách
Đã lưu trong:
9639
AN INTELLIGENT CONVERSATION AGENT FOR HEALTH CARE DOMAIN
Bằng K. Karpagam, A. Saradha
Được phát hành 2014
Connect to this object online.
Điện tử Bài viết

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