Thư viện Đại học Công nghệ Tp.HCM

Đăng nhập

0

Loại tài liệu: Chỉ tìm trong:

31-40 trong số 80 kết quả

Logic and Automata : History and Perspectives
	Tác giả: Jörg Flum, Jörg Flum, Erich Grädel, Erich Grädel, Thomas Wilke, Thomas Wilke
	Xuất bản: Amsterdam: Amsterdam University Press , 2007
	Bộ sưu tập: Tài liệu truy cập mở
	ddc: 511.3 Thêm vào giỏ

Algebraic theory of automata and languages
	Tác giả: Masami Itoo,
	Xuất bản: New Jersey: World Scientific , 2004
	Bộ sưu tập: Khoa học tự nhiên
	Bản in ddc: 511.3 Thêm vào giỏ

Ngữ nghĩa chương trình datalog có chứa phủ định dựa trên logic ba giá trị
	Tác giả: Thuần Hồ, Mạnh Thạnh Lê, Công Tuấn Trương
	Xuất bản: Kỷ yếu hội thảo khoa học quốc gia lần thứ nhất về nghiên cứu, phát triển và ứng dụng công nghệ thông tin và truyền thông , 2003
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: 511.3 Thêm vào giỏ

Logic nội tại của sự phát triển toán học
	Tác giả: Văn Đoán Lê
	Xuất bản: TC Giáo dục , 2009
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: 511.3 Thêm vào giỏ

Vận dụng cặp phạm trù "cái riêng" và "cái chung" vào hoạt động khám phá các kiến thức hình học
	Tác giả: Tam Đào, Công Chuẩn Nguyễn
	Xuất bản: Tạp chí Giáo dục , 2009
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: 511.3 Thêm vào giỏ

Sự hình thành logic toán - những nét cơ bản
	Tác giả: Gia Thơi Nguyễn
	Xuất bản: Nhân lực Khoa học Xã hội , 2016
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: 511.3 Thêm vào giỏ

Áp dụng lập luận theo tình huống để đánh giá sơ đồ biểu diễn giải thuật
	Tác giả: Hồ Việt Phương Phan, Sĩ Đàm Hồ, Việt Hà Nguyễn
	Xuất bản: Kỷ yếu Hội thảo khoa học Quốc gia lần thứ hai: Nghiên cứu cơ bản và ứng dụng công nghệ thông tin , 2008
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: 511.3 Thêm vào giỏ

Nghiên cứu phát triển các thao tác tư duy trong quá trình hình thành biểu tượng toán học cho trẻ ma...
	Tác giả: Thị Minh Liên Đỗ
	Xuất bản: Tạp chí Giáo dục , 2010
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: 511.3 Thêm vào giỏ

Một cách tiếp cận mới để học gia tăng các luật quyết định
	Tác giả: Quang Khanh Nguyễn
	Xuất bản: Tạp chí Khoa học và Công nghệ , 2011
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: 511.3 Thêm vào giỏ

Cách tiếp cận tập thô trong rời rạc hóa dữ liệu trong bài toán phân lớp
	Tác giả: Thị Minh Nguyệt Nguyễn, Đăng Khoa Nguyễn, Thanh Thủy Nguyễn
	Xuất bản: Kỷ yếu Hội thảo khoa học Quốc gia lần thứ nhất: Nghiên cứu cơ bản và ứng dụng công nghệ thông tin , 2008
	Bộ sưu tập: Metadata
	eBook (pdf) ddc: 511.3 Thêm vào giỏ

Trước 2 3 4 5 6 Tiếp

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

Thư viện - Đại học Công nghệ Tp.HCM - HUTECH
(028) 36225755 | tt.thuvien@hutech.edu.vn
Copyright @2025 Thư viện HUTECH