Một cách giải bài toán dựa trên mạng ngữ nghiã các công thức

Chỉ số đề mục

28.25.23

Lĩnh vực nghiên cứu

Khoa học máy tính và thông tin

Dạng tài liệu

Tác giả

Đỗ Hồng Anh, Hoàng Kiếm, Đinh Hữu Tài⁽¹⁾

Nhan đề

Một cách giải bài toán dựa trên mạng ngữ nghiã các công thức

Nhan đề tiếng anh

Nguồn trích

TC Tin học và điều khiển học

Năm xuất bản

1991

Số

Trang

7-13

ISSN

Từ khóa

Từ khóa tiếng anh

Tóm tắt

Bài ứng dụng lý thuyết mạng ngữ nghiã vào việc thử nghiệm xây dựng hệ TUTOR EUCLIDE để trợ giúp giải bài toán hình học phẳng

Tóm tắt tiếng anh

Kí hiệu kho

TTTTKHCNQG

File toàn văn

Xem toàn văn