Symbolic Logic and Mechanical Theorem Proving /

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Chang, Ching-Liang (autor)
Tác giả khác: Lee, Richard Char-Tung (autor) (autor)
Định dạng: Sách
Ngôn ngữ:Tiếng Anh
Những chủ đề:
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Chi tiết quỹ từ IT1
Số hiệu:
511. 3 CHA
Ejemplar 0300280100
Disponible
Préstamo 7 días a 90
Bộ sưu tập:
Colección General
Ghi chú:
Ubicar en Nivel 1 Área de Colección General