loading

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