Computational logic : structure sharing and proof of program properties

Đã lưu trong:
Chi tiết về thư mục
OCLC:76884781
Tác giả chính: Moore, J Strother
Tác giả của công ty: University of Edinburgh
Ngôn ngữ:English
Được phát hành: 1973.
Định dạng:

Luận văn Monograph Microform

Note that CRL will digitize material from the collection when copyright allows.

Miêu tả
Mô tả vật lý:1 microfilm reel ; 35 mm.
Nơi xuất bản:Scotland.