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: 
51-60 trong số 63 kết quả
The logic of knowledge bases
Tác giả: Hector J Levesque, Gerhard Lakemeyer
Xuất bản: Cambridge, Massachusetts: The MIT Press , 2000
Bộ sưu tập: NCBI
ddc:  006.3/32
 Thêm vào giỏ
 
Knowledge in action : logical foundations for specifying and implementing dynamical systems
Tác giả: Raymond Reiter
Xuất bản: Cambridge, Massachusetts: The MIT Press , 2001
Bộ sưu tập: NCBI
ddc:  006.332
 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ỏ
 
Infinity and truth
Tác giả: C-T Chong, Qi Feng, T A Slaman, W H Woodin
Xuất bản: ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  510.1
 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ỏ
 
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ỏ
 
Schaum's outline of theory and problems of discrete mathematics [electronic resource]
Tác giả: Seymour Lipschutz, Marc Lipson
Xuất bản: New York: McGraw-Hill , 2007.
Bộ sưu tập: NCBI
ddc:  004.0151
 Thêm vào giỏ
 
Trước 4 5 6 7 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