Các kỹ thuật trợ giúp chứng minh bài toán hình học: Cách tiếp cận trí tuệ nhân tạo

Công bố khoa học và công nghệ Việt Nam

Chỉ số đề mục

27.21.21; 28.23

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

Dạng tài liệu

Tác giả

Nguyễn Thanh Thủy, Trần Văn Nam⁽¹⁾

Nhan đề

Các kỹ thuật trợ giúp chứng minh bài toán hình học: Cách tiếp cận trí tuệ nhân tạo

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

1996

Số

4

Trang

78-86

ISSN

Từ khóa

Bài toán hình học, Kỹ thuật trợ giúp, Trí tuệ nhân tạo, Cách tiếp cận trí tuệ nhân tạo

Từ khóa tiếng anh

Tóm tắt

Tóm tắt tiếng anh

Kí hiệu kho

TTTTKHCNQG, CVv 127

File toàn văn

Xem toàn văn