A collected works with chapters cov

A collected works with chapters covering a range of approaches: formal cognitive modeling, PIE-like models of interaction and formal aspects of dialog description.Various notations are used: TAG (see Chapter 12), Z, functional programming and standard mathematical set theory.

Kết quả (Việt) 1:

Một tác phẩm được thu thập với chương bao gồm một loạt các phương pháp tiếp cận: chính thức mô hình nhận thức, giống như chiếc bánh mô hình của sự tương tác và các khía cạnh chính thức của hộp thoại mô tả. Tả khác nhau được sử dụng: từ khóa (xem chương 12), Z, lập trình hàm và lý thuyết tập hợp toán học tiêu chuẩn.

Kết quả (Việt) 2:

Một công trình thu thập với chương bao gồm một loạt các phương pháp: mô hình nhận thức chính thức, mô hình PIE giống như sự tương tác và khía cạnh hình thức của ký hiệu description.Various thoại được sử dụng: TAG (xem Chương 12), Z, lập trình chức năng và tiêu chuẩn lý thuyết tập toán học.