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ố 63 kết quả
Logic and discrete mathematics : a concise introduction
Tác giả: Willem Conradie, Valentin Goranko
Xuất bản: Chichester, West Sussex ; Hoboken, NJ: John Wiley & Sons Inc , 2015
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
New essays on Tarski and philosophy
Tác giả: Douglas Patterson
Xuất bản: Oxford ; New York: Oxford University Press , 2008.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  510.1
 Thêm vào giỏ
 
The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
Tác giả: Calixto Badesa, Calixto Badesa
Xuất bản: Princeton: Princeton University Press , c2004.
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.34
 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ỏ
 
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ỏ
 
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ỏ
 
The logic of knowledge bases
Tác giả: Hector J Levesque, Gerhard Lakemeyer
Xuất bản: Cambridge, Mass: 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, Mass: MIT Press , 2001.
Bộ sưu tập: NCBI
ddc:  006.332
 Thêm vào giỏ
 
Word and object
Tác giả: W V Quine
Xuất bản: Cambridge, Mass: MIT Press , 2013.
Bộ sưu tập: NCBI
ddc:  149.94
 Thêm vào giỏ
 
Trước 3 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