The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables

Hiển thị phiên bản (1) khác
Chi tiết về thư mục
Tác giả chính: Melham, T
Định dạng: Journal article
Được phát hành: 1994
Search Result 1
The HOL Logic Extended with Quantification over Type Variables

The HOL Logic Extended with Quantification over Type Variables Bằng Melham, T

Được phát hành 1993
Conference item
Hiển thị tất cả phiên bản (2) khác

Những quyển sách tương tự