Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 72 kết quả
Introduction to languages and the theory of computation
Tác giả: John C Martin
Xuất bản: New York, NY: McGraw-Hill , 2011
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Mathematical logic
Tác giả: Ian Chiswell, Wilfrid Hodges
Xuất bản: London ; New York: Oxford University Press , 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
The Art of Proof [electronic resource] : Basic Training for Deeper Mathematics
Tác giả: Matthias Beck, Ross Geoghegan
Xuất bản: New York, NY: Matthias Beck and Ross Geoghegan , 2010
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
A concise introduction to mathematical logic
Tác giả: Wolfgang Rautenberg
Xuất bản: New York, NY: Springer , 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Symbolic-Numeric Computation [electronic resource]
Tác giả: Dongming Wang, Lihong Zhi
Xuất bản: Basel: Birkhauser Verlag AG , 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
An introduction to Kolmogorov complexity and its applications [electronic resource]
Tác giả: Ming Li, P MB Vitányi
Xuất bản: New York: Springer , 2008
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Fuzzy sets and fuzzy logic : theory and applications
Tác giả: George J Klir, Bo Yuan
Xuất bản: Upper Saddle River, N.J: Prentice Hall PTR , 1995
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Ứng dụng đại số gia tử trong tóm tắt dữ liệu bằng ngôn ngữ
Tác giả: Thị Lan Phạm, Cẩm Hà Hồ
Xuất bản: Tạp chí khoa học (Đại học Sư phạm Hà Nội , 2015
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  511.3
 
Mô đun giá trị giả
Tác giả:
Xuất bản: Vietnam Journal of Mathematics , 2016
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  511.3
 
Một ghi nhận về các mô đun đồng đẳng cục bộ của liên kết các matroids tách rời
Tác giả:
Xuất bản: Vietnam Journal of Mathematics , 2016
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  511.3
 

Truy cập nhanh danh mục