Vietnam English Japanese
 Đă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ố 54 kết quả
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ỏ
 
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: Springer-Verlag , 2010.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.3
 Thêm vào giỏ
 
Qualitative spatial and temporal reasoning
Tác giả: Gérard Ligozat
Xuất bản: London, UK : Hoboken, N.J: ISTE ; Wiley , 2012
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 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: McGraw-Hill , 2012
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.076
 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: Tài liệu truy cập mở
eBook (pdf)
ddc:  510
 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ỏ
 
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ỏ
 
Alfred Tarski : life and logic
Tác giả: Anita Burdman Feferman, Solomon Feferman
Xuất bản: Cambridge: Cambridge University Press , 2008.
Bộ sưu tập: Tâm lý, Logic
eBook (pdf)
ddc:  192.9
 Thêm vào giỏ
 
Shattered symmetry : group theory from the eightfold way to the periodic table
Tác giả: Pieter Thyssen, Arnout Ceulemans
Xuất bản: ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  512.2
 Thêm vào giỏ
 
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ỏ
 
Trước 3 4 5 6 Tiếp

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo