BỘ KHOA HỌC VÀ CÔNG NGHỆ
HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ

Lọc theo danh mục
  • Năm xuất bản
    Xem thêm
  • Lĩnh vực
liên kết website
Lượt truy cập
 Lượt truy cập :  20,329,408
  • Công bố khoa học và công nghệ Việt Nam

50.05.03

Người máy và điều khiển tự động

Dương Tuấn Anh

Phép chuyển từ đặc tả ẩn tàng thành chương trình logic

TC Khoa học tính toán và điều khiển

1989

3

24-28

Đặc tả ẩn tàng, Chương trình logic, Chương trình Prolog

Trình bày cách chuyển một đặc tả ban đầu thành một chương trình PROLOG bằng cách đưa vào hàm đệ quy và thông qua một bước tinh chế dữ liệu. Ap dụng phép chuyển này trong lập trình sẽ tạo ra những chương trình từ đặc tả hình thức

TTTTKHCNQG

Xem toàn văn