Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
21-28 trong số 28 kết quả
Combinatorics on Words [electronic resource] : 12th International Conference, WORDS 2019, Loughborough, UK, September 9–...
Tác giả: Robert Mercaş, Daniel Reidenbach
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
At the Intersection of Language, Logic, and Information [electronic resource] : ESSLLI 2018 Student Session, Sofia, Bulg...
Tác giả: Eric Pacuit, Jennifer Sikos
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2019.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Artificial Intelligence Logic and Applications [electronic resource] : The 2nd International Conference, AILA 2022, Shan...
Tác giả: Yixiang Chen, Songmao Zhang
Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2022.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Vài nét tình hình nghiên cứu vấn đề ngôn ngữ toán học
Tác giả: Ngọc Bích Trần
Xuất bản: Khoa học và Công nghệ (Đại học Thái Nguyên , 2015
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Độ phức tạp đoán nhận lớp siêu ngôn ngữ chính quy sinh bởi siêu sơ đồ sinh suy rộng
Tác giả: Văn ổn Phùng
Xuất bản: Tin học và điều khiển học , 2004
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Tập luyện cho học sinh phát triển ngôn ngữ toán học trong quá trình dạy học toán
Tác giả: Hữu Hậu Nguyễn
Xuất bản: Tạp chí giáo dục , 2011
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Trước 1 2 3

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