Zur struktur nichtde terministischer berechmungen: Doktor der wissenchaftszweiges Naturwiss enschaften/ Phan Minh Dũng
Tác giả : Phan Minh Dũng
Năm xuất bản : 1985
Nơi xuất bản : Dresden
Mô tả vật lý : 107tr.; 32cm 1 tt
Số phân loại : 511
Chủ đề : 1. $2Bộ TK TVQGCấu trúc. 2. $2Bộ TK TVQGToán tử. 3. Cấu trúc không tất định.
Thông tin chi tiết
Tóm tắt : | Nghiên cứu sự xác định tổng quát cho tính không tất định và tính song song ; nghiên cứu cấu trúc của các toán tử ngữ nghĩa dựa trên nền tảng một hệ thống dẫn thuật các biểu thức của các sơ đồ chương trình đệ quy và chứng minh những điều kiện đủ cho việc lập một miền đầy đủ cho sự không tất định.. |
Thông tin dữ liệu nguồn
Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
---|---|---|
Thư viện Quốc gia Việt Nam |
L1542 |
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-251242.html |