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: 
41-50 trong số 56 kết quả
A concise introduction to pure mathematics
Tác giả: M W Liebeck
Xuất bản: : ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  510
 Thêm vào giỏ
 
Intelligent Computer Mathematics : 10th international conference, AISC 2010, 17th symposium, Calculemus 2010 and 9th int...
Tác giả: Serge Autexier
Xuất bản: Berlin: SpringerVerlag, 2010
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Theorems, Corollaries, Lemmas, and Methods of Proof
Tác giả: Richard J Rossi
Xuất bản: New jersey: John Wiley 7 Sons Inc, 2006
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.36
 Thêm vào giỏ
 
Qualitative spatial and temporal reasoning
Tác giả: Gérard Ligozat
Xuất bản: London UK Hoboken NJ: ISTE Wiley, 2012
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
Reasoning about uncertainty
Tác giả: Joseph Y Halpern
Xuất bản: Cambridge Massachusetts: The MIT Press, 2017
Bộ sưu tập: Tài liệu truy cập mở
ddc:  003.54
 Thêm vào giỏ
 
The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma
Tác giả: Alan Mathison Turing, B Jack Copeland
Xuất bản: Oxford New York: Clarendon Press Oxford University Press, 2004
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  510
 Thêm vào giỏ
 
Student's solutions guide to accompany Discrete mathematics and its applications
Tác giả: Jerrold W Grossman, Jerrold W Grossman, Kenneth H Rosen
Xuất bản: New York: McGrawHill, 2012
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.076
 Thêm vào giỏ
 
Computational Logic and Human Thinking : How to be Artificially Intelligent
Tác giả: Robert Kowalski
Xuất bản: New York: Cambridge University Press, 2011
Bộ sưu tập: Xã hội, kinh tế, luật
eBook (pdf)
ddc:  370.152
 Thêm vào giỏ
 
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets
Tác giả: John Gregg
Xuất bản: New York: IEEE Press, 1998
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.324
 Thêm vào giỏ
 
Money-pump arguments
Tác giả: Johan E Gustafsson
Xuất bản: Cambridge United Kingdom New York NY: Cambridge University Press, 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc:  121.6
 Thêm vào giỏ
 
Trước 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