Loại tài liệu:    Chỉ tìm trong: 
81-90 trong số 778 kết quả
Handbook of practical logic and automated reasoning
Tác giả: J Harrison
Xuất bản: Cambridge ; New York: Cambridge University Press , 2009.
Bộ sưu tập: Sách tra cứu
eBook (pdf)
ddc:  006.333
 
Một số suy luận cơ bản trong logic học phật giáo
Tác giả: Phạm Quỳnh TS
Xuất bản: Tạp chí nghiên cứu phật học , 2004
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  200
 
Quy luật tư duy lôgíc trong lôgíc học phật giáo
Tác giả: Quỳnh Phạm
Xuất bản: Triết học , 2004
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  294.35
 
Một số lô-gic cho các hệ tri thức mâu thuẫn
Tác giả: Thị Hồng Khánh Nguyễn
Xuất bản: Hội nghị khoa học lần thứ nhất: Tuyển tập các báo cáo - Trường Đại học Điện lực , 2006
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  001.4
 
Về một số đặc trưng trong tam đoạn luận al-pharabi (so sánh với quan niệm của arixtốt)
Tác giả: Gia Thơ Nguyễn
Xuất bản: Triết học , 2005
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  189.3
 
Mathematical Logic and Computability
Tác giả: H Jerome Keisler, Joel Robbin
Xuất bản: USA: McGraw-Hill , 1996
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.3
 
Arithmetic and Logic in Computer Systems
Tác giả: Mi Lu
Xuất bản: : WileyBlackwell , 2004
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.0151
 
Proof and disproof in formal logic : an introduction for programmers
Tác giả: Richard Bornat
Xuất bản: Oxford: Oxford University Press , 2005
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  160
 
Bridge to abstract mathematics : mathematical proof and structures
Tác giả: Ronald P Morash
Xuất bản: New York (N.Y: Random House , 1987
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
Being logical : a guide to good thinking
Tác giả: Dennis Q McInerny
Xuất bản: New York: Random House , 2004
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  160
 

Truy cập nhanh danh mục