| Đăng nhập
Thông tin tài khoản
Đăng xuất
0
THƯ VIỆN
GIỚI THIỆU
Giới thiệu Thư viện
Đội ngũ nhân sự
Lịch hoạt động
Nội quy
Hình ảnh thư viện
TRA CỨU
Tìm kiếm tài liệu
Tài liệu theo chủ đề
Tài liệu theo lĩnh vực
Đồ án tốt nghiệp
Luận văn
Tài liệu học tập HUTECH
SÁCH MỚI
SÁCH THEO NGÀNH HỌC
LIÊN KẾT
Liên kết Thư viện
Stinet-TT KH&CN TP.HCM
Vilasal-Thư viện ĐH phía Nam
Hướng dẫn sử dụng Stinet
Cơ sở dữ liệu
Luật Việt Nam
VB pháp luật Việt Nam
Luật Thư viện
Luật sở hữu trí tuệ
Luật SHTT(sửa đổi, bổ sung)
Nguồn tài liệu tham khảo
Yêu cầu bổ sung tài liệu
HƯỚNG DẪN
Tra cứu tài liệu
Đăng ký thẻ thư viện
Đăng ký đọc sách online
Phòng đa phương tiện
Subscribe
×
Your name
Your email
Tìm toàn văn
Tìm kiếm nâng cao
Loại tài liệu:
(-Tất cả-)
Sách in
Tài liệu điện tử
Luận văn - Đồ án TN
Chỉ tìm trong:
(-Tất cả-)
Nhan đề
Tác giả
Ký hiệu phân loại
Nhà xuất bản
Nơi xuất bản
Năm xuất bản
ISBN
ISSN
Chủ đề
Trang
1
trong
1 kết quả
(0.6599788 giây)
The MIT Press
×
Bộ lọc
Tác giả
Carpenter Bob
(2)
Xem thêm
Nhà xuất bản
The MIT Press
(1)
MIT Press
(1)
Bộ sưu tập
Tài liệu truy cập mở
(2)
Định dạng
Những cuốn sách sau có chứa cụm từ:
au:Bob Carpenter
Type-logical semantics
Tác giả:
Carpenter Bob,
Thông tin xuất bản:
Cambridge Massachusetts
:
The MIT Press
,
1998
Ký hiệu phân loại:
401/.43
ISBN:
0262269902
Bộ sưu tập:
Tài liệu truy cập mở
ID:
252982
Lưu vào danh sách
1
Truy cập nhanh danh mục
Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media