Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 57 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
 
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
 
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
 
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
 
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
 
Thrombin Nanochannel Logic Gate Inspired by BioMemory
Tác giả: Yonghuan Chen, Xinru Yue, Yongtao Tang, Qi Zhu, Weihua Yu, Mengfan Luo, Yu Huang, Liping Wen, Fengyu Li
Xuất bản: United States: Analytical chemistry , 2025
Bộ sưu tập: NCBI
ddc:  149.2
 
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
 
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
 
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
 
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
 

Truy cập nhanh danh mục