Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 386 kết quả
Math proofs demystified elektronisk ressurs
Tác giả: Stan Gibilisco
Xuất bản: New York: McGraw-Hill , 2005
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.36
 
Proof, logic and formalization
Tác giả: Michael Detlefsen
Xuất bản: London ; New York: Routledge , 1992
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
Set theory and its philosophy : a critical introduction
Tác giả: Michael D Potter
Xuất bản: Oxford: Oxford University Press , 2004
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.322
 
Tracking reason : proof, consequence, and truth
Tác giả: Jody Azzouni
Xuất bản: Oxford ; New York: Oxford University Press , 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.36
 
The joy of sets : fundamentals of contemporary set theory
Tác giả: Keith J DevlinKeith J Devlin
Xuất bản: New York ; Hong Kong: Springer-Verlag , 1993
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.322
 
Logic Toán
Tác giả: Trần Thọ Châu
Xuất bản: Hà Nội: Đại học Quốc gia Hà Nội , 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Cluster sets and traditional sets elicit similar muscular hypertrophy: a volume and effort-matched study in resistance-t...
Tác giả: Salvador Vargas-Molina, Manuel García-Sillero, Sergio Maroto-Izquierdo, Eneko Baz-Valle, Borja Bautista-Mayorga, Mora Murri, Brad J Schoenfeld, Javier Benítez-Porres
Xuất bản: Germany: European journal of applied physiology , 2025
Bộ sưu tập: NCBI
ddc:  511.32
 
Transcriptomic profiling of lncRNAs and mRNAs in a venous thrombosis mouse model
Tác giả: Risheng Hao, Haobo Li, Xincheng Li, Jixiang Liu, Xiaofan Ji, Hong Zhang, Zhu Zhang, Peiran Yang, Zhenguo Zhai
Xuất bản: United States: iScience , 2025
Bộ sưu tập: NCBI
ddc:  511.34
 
Neuroprotective thiazole sulfonamides against 6-OHDA-induced Parkinsonian model
Tác giả: Waralee Ruankham, Ratchanok Pingaew, Veda Prachayasittikul, Apilak Worachartcheewan, Suphissara Sathuphong, Setthawut Apiraksattayakul, Tanawut Tantimongcolwat, Virapong Prachayasittikul, Supaluk Prachayasittikul, Kamonrat Phopin
Xuất bản: England: RSC advances , 2025
Bộ sưu tập: NCBI
ddc:  511.34
 
Control of multi-level quadratic DC-DC boost converter for photovoltaic systems using type-2 fuzzy logic technique-based...
Tác giả: Souheyb Mohammed Belhadj, Bouziane Meliani, Habib Benbouhenni, Sarra Zaidi, Z M S Elbarbary, Mohammed M Alammer
Xuất bản: England: Heliyon , 2025
Bộ sưu tập: NCBI
ddc:  511.313
 

Truy cập nhanh danh mục