Loại tài liệu:    Chỉ tìm trong: 
161-170 trong số 778 kết quả
Nuel Belnap on Indeterminism and Free Action
Tác giả: Thomas Müller, Thomas Müller
Xuất bản: Springer Nature , 2014
Bộ sưu tập: NCBI
ddc:  123.5
 
Asynchronous operators of sequential logic : venjunction & sequention : digital circuit analysis and design
Tác giả: Vadim Vasyukevich
Xuất bản: Berlin ; New York: Springer , 2011
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.3815
 
Advances in Proof-Theoretic Semantics
Tác giả: Thomas Piecha, Peter Schroeder-Heister
Xuất bản: Cham: Springer , 2016
Bộ sưu tập: NCBI
ddc:  160
 
Advances in Proof-Theoretic Semantics
Tác giả: Thomas Piecha, Thomas Piecha, Peter Schroeder-Heister, Peter Schroeder-Heister
Xuất bản: Cham: Springer Nature , 2016
Bộ sưu tập: NCBI
ddc:  160
 
Sự hình thành logic toán - những nét cơ bản
Tác giả: Gia Thơi Nguyễn
Xuất bản: Nhân lực Khoa học Xã hội , 2016
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  511.3
 
The Many and the One : A Philosophical Study of Plural Logic
Tác giả: Salvatore Florio, Øystein Linnebo
Xuất bản: Oxford: Oxford University Press , 2021
Bộ sưu tập: NCBI
ddc: 
 
The Many and the One : A Philosophical Study of Plural Logic
Tác giả: Salvatore Florio, Øystein Linnebo
Xuất bản: Oxford: Oxford University Press , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Hume's problem solved : the optimality of meta-induction
Tác giả: Gerhard Schurz
Xuất bản: ,
Bộ sưu tập: NCBI
ddc:  161
 
Categorization and naming in children : problems of induction
Tác giả: Ellen M Markman
Xuất bản: Cambridge, Massachusetts: The MIT Press , 1989
Bộ sưu tập: NCBI
ddc:  155.4/13
 
Reliable reasoning : induction and statistical learning theory
Tác giả: Gilbert Harman, Sanjeev Kulkarni
Xuất bản: Cambridge, Massachusetts: The MIT Press , 2007
Bộ sưu tập: NCBI
ddc:  161
 

Truy cập nhanh danh mục